scientific article; zbMATH DE number 5235521

zbMath1136.03011MaRDI QIDQ5441554

James G. Raftery

Publication date: 15 February 2008

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Algebraic logic (03G99) Abstract deductive systems (03B22)

Related Items (23)

De Morgan clones and four-valued logics ⋮ ON EQUATIONAL COMPLETENESS THEOREMS ⋮ AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS ⋮ A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS ⋮ The strong version of a sentential logic ⋮ Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems ⋮ Consequence and Degrees of Truth in Many-Valued Logic ⋮ An algebraic view of super-Belnap logics ⋮ The Suszko operator relative to truth‐equational logics ⋮ Algebraizable logics with a strong conjunction and their semi-lattice based companions ⋮ Abstract algebraic logic. An introductory chapter ⋮ Leibniz-linked pairs of deductive systems ⋮ The simplest protoalgebraic logic ⋮ On the complexity of the Leibniz hierarchy ⋮ On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis ⋮ Categorical Abstract Algebraic Logic: Algebraic Semantics for (\documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\bf{\pi }$\end{document})‐Institutions ⋮ Beyond Rasiowa's algebraic approach to non-classical logics ⋮ The poset of all logics. III: Finitely presentable logics ⋮ THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE ⋮ Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions ⋮ THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY

This page was built for publication: