scientific article; zbMATH DE number 5235521
From MaRDI portal
Publication:5441554
zbMath1136.03011MaRDI QIDQ5441554
Publication date: 15 February 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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: