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