Checking Admissibility Using Natural Dualities
From MaRDI portal
Publication:4617979
DOI10.1145/3275115zbMath1407.03010arXiv1801.02046OpenAlexW2963632537MaRDI QIDQ4617979
Benjamin Freisberg, George Metcalfe, Leonardo Manuel Cabrer, Hilary A. Priestley
Publication date: 7 February 2019
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1801.02046
Applications of universal algebra in computer science (08A70) Mechanization of proofs and logical operations (03B35) Quasivarieties (08C15) Natural dualities for classes of algebras (08C20)
Related Items
Sugihara algebras and Sugihara monoids: Multisorted dualities, Deciding active structural completeness, Sugihara algebras: admissibility algebras via the test spaces method
Cites Work
- Admissible rules in the implication-negation fragment of intuitionistic logic
- Structural completeness in fuzzy logics
- Admissibility of logical inference rules
- Best solving modal equations
- Sugihara algebras: admissibility algebras via the test spaces method
- Admissibility via natural dualities
- Admissibility in De Morgan algebras
- On the admissible rules of intuitionistic propositional logic
- An Avron rule for fragments of R-mingle
- Admissibility in Finitely Generated Quasivarieties
- Admissible Rules of Lukasiewicz Logic
- Proving termination with multiset orderings
- Coproducts of De Morgan algebras
- Unification in intuitionistic logic
- OPTIMAL NATURAL DUALITIES: THE STRUCTURE OF FAILSETS
- Lattices With Involution
- Algebraic completeness results for R-mingle and its extensions
- Admissible Rules of Modal Logics
- Equational bases for varieties of Ockham algebras
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
