Recommendations
- A perspective on the algebra of logic
- Algebraizable logics
- Some remarks on axiomatizing logical consequence operations
- Willem Blok's contribution to abstract algebraic logic
- Algebraizable logics. An exact reproduction of the text originally published in 1989 with an errata sheet prepared by the second author in 2014
Cited in
(40)- \(M\)-sets and the representation problem
- Birkhoff's and Mal'cev's theorems for implicational tonoid logics
- A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC
- On the algebraizability of the implicational fragment of abelian logic
- On the complexity of the Leibniz hierarchy
- Logics of variable inclusion and the lattice of consequence relations
- A logical and algebraic characterization of adjunctions between generalized quasi-varieties
- (Meta)inferential levels of entailment beyond the Tarskian paradigm
- Logical consequence and the paradoxes
- Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates
- Update to ``A survey of abstract algebraic logic
- scientific article; zbMATH DE number 120342 (Why is no real title available?)
- Tribute to Bjarni Jónsson
- Equivalence of consequence relations: an order-theoretic and categorical perspective
- An abstract approach to consequence relations
- Some remarks on axiomatizing logical consequence operations
- A hierarchy of classical and paraconsistent logics
- Multi-term π-institutions and their equivalence
- Proof theory of paraconsistent weak Kleene logic
- On logical and concurrent equivalences
- Countably many weakenings of Belnap-Dunn logic
- Empty logics
- Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions
- Relevant consequence relations: an invitation
- Requiem for logical nihilism, or: logical nihilism annihilated
- The semantic isomorphism theorem in abstract algebraic logic
- Intuitionistic logic is a connexive logic
- What is a paraconsistent logic?
- ST, LP and tolerant metainferences
- On the structure of varieties with equationally definable principal congruences. II
- A fully classical truth theory characterized by substructural means
- Contextual deduction theorems
- A new hierarchy of infinitary logics in abstract algebraic logic
- Abstract algebraic logic. An introductory chapter
- Representations of structural closure operators
- The original sin of proof-theoretic semantics
- Fibered universal algebra for first-order logics
- Coproduct and amalgamation of deductive systems by means of ordered algebras
- Epimorphisms, definability and cardinalities
- On pairs of dual consequence operations
This page was built for publication: Equivalence of consequence operations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2433095)
