The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “An algebraic completeness proof for Kleene's 3-valued logic”

Logics for stable and unstable mereological relations

Vladislav Nenchev (2011)

Open Mathematics

Similarity:

In this paper we present logics about stable and unstable versions of several well-known relations from mereology: part-of, overlap and underlap. An intuitive semantics is given for the stable and unstable relations, describing them as dynamic counterparts of the base mereological relations. Stable relations are described as ones that always hold, while unstable relations hold sometimes. A set of first-order sentences is provided to serve as axioms for the stable and unstable relations,...

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.

Polyadic algebras over nonclassical logics

Don Pigozzi, Antonino Salibra (1993)

Banach Center Publications

Similarity:

The polyadic algebras that arise from the algebraization of the first-order extensions of a SIC are characterized and a representation theorem is proved. Standard implicational calculi (SIC)'s were considered by H. Rasiowa [19] and include classical and intuitionistic logic and their various weakenings and fragments, the many-valued logics of Post and Łukasiewicz, modal logics that admit the rule of necessitation, BCK logic, etc.

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...

Curry algebras N 1

Jair Minoro Abe (1996)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

In [6] da Costa has introduced a new hierarchy N i , 1 ≤ i ≤ w of logics that are both paraconsistent and paracomplete. Such logics are now known as non-alethic logics. In this article we present an algebraic version of the logics N i and study some of their properties.

Between logic and probability.

Ton Sales (1994)

Mathware and Soft Computing

Similarity:

Logic and Probability, as theories, have been developed quite independently and, with a few exceptions (like Boole's), have largely ignored each other. And nevertheless they share a lot of similarities, as well a considerable common ground. The exploration of the shared concepts and their mathematical treatment and unification is here attempted following the lead of illustrious researchers (Reichenbach, Carnap, Popper, Gaifman, Scott & Krauss, Fenstad, Miller, David Lewis, Stalnaker,...