scientific article

Publication date: 4 August 2016

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

abstract algebraic logic algebraic semantics algebraizable logic Leibniz operator Leibniz hierarchy Frege hierarchy implicative logic generalized logical matrix

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Abstract algebraic logic (03G27)

Related Items

THE LATTICE OF SUPER-BELNAP LOGICS, A new hierarchy of infinitary logics in abstract algebraic logic, De Morgan clones and four-valued logics, De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics, Routley star and hyperintensionality, Polarity semantics for negation as a modal operator, AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS, ON EQUATIONAL COMPLETENESS THEOREMS, UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS, Constraint tableaux for two-dimensional fuzzy logics, Negation and Implication in Quasi-Nelson Logic, AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS, The semantic isomorphism theorem in abstract algebraic logic, Computational properties of partial non-deterministic matrices and their logics, Pure Variable Inclusion Logics, An alternative proof of the Hilbert-style axiomatization for the \(\{\wedge,\vee\}\)-fragment of classical propositional logic, A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS, An unexpected Boolean connective, Coproduct and amalgamation of deductive systems by means of ordered algebras, On intermediate inquisitive and dependence logics: an algebraic study, A computational glimpse at the Leibniz and Frege hierarchies, The strong version of a sentential logic, Compositional meaning in logic, Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic, Characterization of protoalgebraic k-deductive systems, An algebraic view of super-Belnap logics, Cut elimination, identity elimination, and interpolation in super-Belnap logics, The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework), The Suszko operator relative to truth‐equational logics, Fibered universal algebra for first-order logics, Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\), Axiomatizing non-deterministic many-valued generalized consequence relations, A deterministic weakening of Belnap-Dunn logic, On principal congruences in distributive lattices with a commutative monoidal operation and an implication, The algebraic significance of weak excluded middle laws, On the logic of distributive nearlattices, On the variety of strong subresiduated lattices, An algebraic semantics for possibilistic finite-valued Łukasiewicz logic, Universal algebraic methods for non-classical logics, Abstract algebraic logic. An introductory chapter, Proof theory of paraconsistent weak Kleene logic, An algebraic investigation of the connexive logic \(\mathsf{C}\), Intuitionistic logic is a connexive logic, Logics of upsets of De Morgan lattices, Priestley-style duality for DN-algebras, Epimorphism surjectivity in varieties of Heyting algebras, Structural and universal completeness in algebra and logic, A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC, A note on closure spaces determined by intersections, Book review of: S. Bonzio, F. Paoli and M. P. Baldi, Logics of variable inclusion, A logical modeling of severe ignorance, Consistent theories in inconsistent logics, Regular double \(p\)-algebras: a converse to a Katriňák theorem and applications, A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions, Some modal and temporal translations of generalized basic logic, Universality of Logic, Filter pairs and natural extensions of logics, Selfextensional logics with a distributive nearlattice term, AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS, Lattices of Intermediate Theories via Ruitenburg's Theorem, Logics of left variable inclusion and Płonka sums of matrices, Varieties of De Morgan monoids: minimality and irreducible algebras, Profiniteness and representability of spectra of Heyting algebras, ST, LP and Tolerant Metainferences, On the complexity of the Leibniz hierarchy, Four-valued logics of truth, nonfalsity, exact truth, and material equivalence, On a logico-algebraic approach to AGM belief contraction theory, Implicational (semilinear) logics. III: Completeness properties, Belnap-Dunn modal logic with value operators, A simple logical matrix and sequent calculus for Parry's logic of analytic implication, On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis, Extension properties and subdirect representation in abstract algebraic logic, Join-completions of partially ordered algebras, Completeness for monadic fuzzy logics via functional algebras, Neighborhood semantics for modal many-valued logics, Characterizing finite-valuedness, Deciding active structural completeness, Algebraic analysis of demodalised analytic implication, The poset of all logics. III: Finitely presentable logics, Sugihara algebras: admissibility algebras via the test spaces method, A tableaux calculus for default intuitionistic logic, Countably many weakenings of Belnap-Dunn logic, Epimorphisms, definability and cardinalities, Containment logics: algebraic completeness and axiomatization, Inquisitive Heyting algebras, A relational semantics for the logic of bounded lattices, VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS, Logics of variable inclusion and the lattice of consequence relations, On prevarieties of logic, Structural completeness in many-valued logics with rational constants, Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras, THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE, Logics of order and related notions, ALGEBRAIC EXPANSIONS OF LOGICS, THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY