Checking Admissibility Using Natural Dualities

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

zbMATH Keywords

free algebranatural dualityquasivarietyadmissibility

Mathematics Subject Classification ID

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 (3)

Sugihara algebras and Sugihara monoids: Multisorted dualities ⋮ Deciding active structural completeness ⋮ Sugihara algebras: admissibility algebras via the test spaces method

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: Checking Admissibility Using Natural Dualities