Abstract algebraic logic. An introductory textbook
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- Equivalence of multiset-based consequence relations
- Connexive implications in substructural logics
- An algebraic semantics for possibilistic finite-valued Łukasiewicz logic
- Relevant consequence relations: an invitation
- Book review of: S. Bonzio, F. Paoli and M. P. Baldi, Logics of variable inclusion
- The external version of a subclassical logic
- Modal weak Kleene logics through variables inclusion
- Deciding active structural completeness
- Containment logics: algebraic completeness and axiomatization
- Inquisitive Heyting algebras
- Indicative conditionals: some algebraic considerations
- The strong version of a sentential logic
- Compositional meaning in logic
- The algebraic significance of weak excluded middle laws
- Negative translations of orthomodular lattices and their logic
- Characterizing finite-valuedness
- AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS
- Epimorphisms, definability and cardinalities
- An abstract approach to consequence relations
- Relational companions of logics
- The Suszko operator relative to truth‐equational logics
- What is abstract algebraic logic?
- Semiconic idempotent logic. II: Beth definability and deductive interpolation
- Generalized explosion principles
- Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\)
- THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE
- Axiomatizing non-deterministic many-valued generalized consequence relations
- AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS
- A logical approach to abstract algebra
- Monadicity of non-deterministic logical matrices is undecidable
- Completeness for monadic fuzzy logics via functional algebras
- Intuitionistic \textsf{S4} as a logic of topological spaces
- Non-deterministic semantics for cocanonical and semi-cocanonical deduction systems
- Equational definitions of logical filters
- Assertional logics and the frege hierarchy
- On J. Czelakowski's contributions to quantum logic and the foundation of quantum mechanics
- A gentle introduction to the Leibniz hierarchy
- Janusz Czelakowski's research on the theory of matrices and its applications in the seventies and eighties of the 20th century
- A simple logical matrix and sequent calculus for Parry's logic of analytic implication
- Some modal and temporal translations of generalized basic logic
- A tableaux calculus for default intuitionistic logic
- Structural completeness in many-valued logics with rational constants
- Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras
- Expanding the Leibniz hierarchy
- Congruence filter pairs, equational filter pairs and adjoints
- Book review of: E. Mares, The logic of entailment and its history
- On the variety of strong subresiduated lattices
- Filter pairs and natural extensions of logics
- Algebraic logic. Transl. from the Russian by Robert H. Silverman
- Semiconic idempotent logic. I: Structure and local deduction theorems.
- Sugihara algebras: admissibility algebras via the test spaces method
- On principal congruences in distributive lattices with a commutative monoidal operation and an implication
- Selfextensional logics with a distributive nearlattice term
- Subresiduated lattice ordered commutative monoids
- Abstract algebraic logic. An introductory chapter
- Universal algebraic methods for non-classical logics
- The algebras of Lewis's counterfactuals: axiomatizations and algebraizability
- A new hierarchy of infinitary logics in abstract algebraic logic
- An infinite family of finite-valued paraconsistent algebraizable logics
- An unexpected Boolean connective
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
- Choice-free duality for Tarski algebras
- Universality of logic
- Introduction: directions and new directions
- Pure variable inclusion logics
- An algebraic investigation of the connexive logic \(\mathsf{C}\)
- Intuitionistic logic is a connexive logic
- Computational properties of partial non-deterministic matrices and their logics
- On the structure of Bochvar algebras
- Some remarks on the logic of probabilistic relevance
- The algebra of ordinary discourse. On the semantics of Cooper's logic
- A relational semantics for the logic of bounded lattices
- 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
- Constraint tableaux for two-dimensional fuzzy logics
- Logics of order and related notions
- Modal expansions of ririgs
- From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth
- Hyperintensionality in relevant logics
- Varieties of De Morgan monoids: minimality and irreducible algebras
- On the logic of distributive nearlattices
- On logics of perfect paradefinite algebras
- Proof theory of paraconsistent weak Kleene logic
- Epimorphism surjectivity in varieties of Heyting algebras
- On prevarieties of logic
- Logics of upsets of De Morgan lattices
- Priestley-style duality for DN-algebras
- Structural and universal completeness in algebra and logic
- Consistent theories in inconsistent logics
- ALGEBRAIC EXPANSIONS OF LOGICS
- Join-completions of partially ordered algebras
- A study of truth predicates in matrix semantics
- Sub-implicative filters in quasi-ordered relational systems
- A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC
- Bi-intermediate logics of trees and co-trees
- Intuitionistic Sahlqvist theory for deductive systems
- Implicational (semilinear) logics. III: Completeness properties
- Profiniteness and representability of spectra of Heyting algebras
This page was built for publication: Abstract algebraic logic. An introductory textbook
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3185647)
