Abstract algebraic logic. An introductory textbook
From MaRDI portal
(Redirected from Publication:3185647)
Recommendations
Cited in
(only showing first 100 items - show all)- 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
- An algebraic view of super-Belnap logics
- Cut elimination, identity elimination, and interpolation in super-Belnap logics
- A note on closure spaces determined by intersections
- Algebraizable logics. An exact reproduction of the text originally published in 1989 with an errata sheet prepared by the second author in 2014
- Logics of variable inclusion and the lattice of consequence relations
- UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS
- Lattices of Intermediate Theories via Ruitenburg's Theorem
- Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
- Belnap-Dunn modal logic with value operators
- Don Pigozzi on abstract algebraic logic, universal algebra, and computer science
- Algebraic analysis of demodalised analytic implication
- Four-valued logics of truth, nonfalsity, exact truth, and material equivalence
- M_K(T)-spaces: some order-theoretical properties and applications to distributive logics
- Meet-combination of consequence systems
- On a class of subreducts of the variety of integral srl-monoids and related logics
- Protoalgebraic logics
- Extension properties and subdirect representation in abstract algebraic logic
- A logical modeling of severe ignorance
- Fibered universal algebra for first-order logics
- VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS
- Adding an implication to logics of perfect paradefinite algebras
- The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)
- On intermediate inquisitive and dependence logics: an algebraic study
- ST, LP and tolerant metainferences
- Matrix characterisation of the hierarchy FiC n of bivaluated logics
- Logical forms, substitutions and information types
- Characterization of protoalgebraic \(k\)-deductive systems
- Negation and Implication in Quasi-Nelson Logic
- Countably many weakenings of Belnap-Dunn logic
- _2-rule systems and inductive classes of Gödel algebras
- Regular double \(p\)-algebras: a converse to a Katriňák theorem and applications
- Left variable inclusion logics associated with classical logic
- A deterministic weakening of Belnap-Dunn logic
- A survey of abstract algebraic logic
- Propositional logic for infinitive sentences
- Considerations on Everett J. Nelson's connexive logic
- Filter classes of upsets of distributive lattices
- Paraconsistent belief revision: an algebraic investigation
- Hyper swap structures and Kalman functors: the case study of da Costa logic C_
- Interpolation in linear logic and related systems
- The semantic isomorphism theorem in abstract algebraic logic
- An alternative proof of the Hilbert-style axiomatization for the \(\{\wedge,\vee\}\)-fragment of classical propositional logic
- THE LATTICE OF SUPER-BELNAP LOGICS
- Editorial introduction
- Logics of left variable inclusion and Płonka sums of matrices
- THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY
- Orthomodular and unsharp orthomodular lattices: a categorical equivalence
- ON EQUATIONAL COMPLETENESS THEOREMS
- The poset of all logics. III: Finitely presentable logics
- scientific article; zbMATH DE number 2070193 (Why is no real title available?)
- Rule-elimination theorems
- Logic families
- Coproduct and amalgamation of deductive systems by means of ordered algebras
- Analytic calculi for logics of indicative conditionals
- A computational glimpse at the Leibniz and Frege hierarchies
- Neighborhood semantics for modal many-valued logics
- On a logico-algebraic approach to AGM belief contraction theory
- Some more theorems on structural entailment relations and non-deterministic semantics
- Modal weak Kleene logics: axiomatizations and relational semantics
- A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions
- On the complexity of the Leibniz hierarchy
- Update to ``A survey of abstract algebraic logic
- Equivalence of multiset-based consequence relations
- Connexive implications in substructural logics
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)