Publication:5441554
From MaRDI portal
zbMath1136.03011MaRDI QIDQ5441554
Publication date: 15 February 2008
Related Items
A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS, 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, Categorical Abstract Algebraic Logic: Algebraic Semantics for (\documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\bf{\pi }$\end{document})‐Institutions, THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE, ON EQUATIONAL COMPLETENESS THEOREMS, AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS, The simplest protoalgebraic logic, THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY, The Suszko operator relative to truth‐equational logics, On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis, Leibniz-linked pairs of deductive systems, De Morgan clones and four-valued logics, The strong version of a sentential logic, An algebraic view of super-Belnap logics, On the complexity of the Leibniz hierarchy, Algebraizable logics with a strong conjunction and their semi-lattice based companions, The poset of all logics. III: Finitely presentable logics, Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions, Beyond Rasiowa's algebraic approach to non-classical logics, Consequence and Degrees of Truth in Many-Valued Logic