Helena Rasiowa, 1917-1994
Wiktor Bartol, Ewa Orłowska, Andrzej Skowron (1999)
Banach Center Publications
Similarity:
Displaying similar documents to “On the viability of an algebraic approach to non-monotonic reasoning.”
Helena Rasiowa, 1917-1994
From two- to four-valued logic
Chris Brink (1993)
Banach Center Publications
Similarity:
The purpose of this note is to show that a known and natural four-valued logic co-exists with classical two-valued logic in the familiar context of truth tables. The tool required is the power construction.
The process of induction as a non-classical logic's double negation: evidence from classical scientific theories.
Antonino Drago (1996)
Mathware and Soft Computing
Similarity:
On the Leibniz congruences
Josep Font (1993)
Banach Center Publications
Similarity:
The aim of this paper is to discuss the motivation for a new general algebraic semantics for deductive systems, to introduce it, and to present an outline of its main features. Some tools from the theory of abstract logics are also introduced, and two classifications of deductive systems are analysed: one is based on the behaviour of the Leibniz congruence (the maximum congruence of a logical matrix) and the other on the behaviour of the Frege operator (which associates to every theory...
On an algebraic and Kripke semantics for intermediate logics
Hiroakira Ono, Cecylia Rauszer (1982)
Banach Center Publications
Similarity:
Addendum to the Paper “Doctoral Dissertations in Logic from Virtual Library of Faculty of Mathematics in Belgrade”
Mirjana Borisavljević (2010)
Review of the National Center for Digitization
Similarity:
Doctoral Dissertations in Logic from Virtual Library of the Faculty of Mathematics in Belgrade
Mirjana Borisavljević (2010)
Review of the National Center for Digitization
Similarity:
On centers and state spaces of logics
Pták, Pavel
Similarity:
An algebraic and Kripke-style approach to a certain extension of intuitionistic logic
Cecylia Rauszer
Similarity:
CONTENTSIntroduction............................................................................... 5Chapter I. Semi-Boolean algebras 1. Semi-Boolean algebras....................................... 8 2. Q-filters in semi-Boolean algebras............................ 11 3. Extensions of semi-Boolean algebras...................... 15Chapter II. Algebraic and semantic modelsfor Heyting-Brouwer logic 1. Preliminaries.......................................................... 17 2. Algebraic...