Checking admissibility using natural dualities

DOI10.1145/3275115zbMATH Open1407.03010arXiv1801.02046OpenAlexW2963632537MaRDI QIDQ4617979FDOQ4617979

Authors: 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)

Abstract: This paper presents a new method for obtaining small algebras to check the admissibility-equivalently, validity in free algebras-of quasi-identities in a finitely generated quasivariety. Unlike a previous algebraic approach of Metcalfe and Rothlisberger that is feasible only when the relevant free algebra is not too large, this method exploits natural dualities for quasivarieties to work with structures of smaller cardinality and surjective rather than injective morphisms. A number of case studies are described here that could not be be solved using the algebraic approach, including (quasi)varieties of MS-algebras, double Stone algebras, and involutive Stone algebras.

Full work available at URL: https://arxiv.org/abs/1801.02046

Recommendations

• Admissibility via natural dualities
• Admissibility in finitely generated quasivarieties
• Sugihara algebras: admissibility algebras via the test spaces method
• TAFA -- a tool for admissibility in finite algebras
• The dualisability of a quasi-variety is independent of the generating algebra.

zbMATH Keywords

natural dualityadmissibilityquasivarietyfree algebra

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Natural dualities for classes of algebras (08C20) Applications of universal algebra in computer science (08A70) Quasivarieties (08C15)

Cites Work

• Structural completeness in fuzzy logics
• Admissibility of logical inference rules
• Best solving modal equations
• On the admissible rules of intuitionistic propositional logic
• Title not available (Why is that?)
• Admissible Rules of Lukasiewicz Logic
• Title not available (Why is that?)
• Unification in intuitionistic logic
• Admissible Rules of Modal Logics
• Admissible rules in the implication-negation fragment of intuitionistic logic
• Proving termination with multiset orderings
• Title not available (Why is that?)
• Title not available (Why is that?)
• Admissibility via natural dualities
• Admissibility in De Morgan algebras
• An Avron rule for fragments of R-mingle
• Admissibility in finitely generated quasivarieties
• Lattices With Involution
• Coproducts of De Morgan algebras
• Title not available (Why is that?)
• Algebraic completeness results for R-mingle and its extensions
• Title not available (Why is that?)
• Title not available (Why is that?)
• OPTIMAL NATURAL DUALITIES: THE STRUCTURE OF FAILSETS
• Title not available (Why is that?)
• Title not available (Why is that?)
• Equational bases for varieties of Ockham algebras
• Sugihara algebras: admissibility algebras via the test spaces method

Cited In (6)

• Sugihara algebras and Sugihara monoids: Multisorted dualities
• Admissibility via natural dualities
• Deciding active structural completeness
• Admissibility in finitely generated quasivarieties
• TAFA -- a tool for admissibility in finite algebras
• Sugihara algebras: admissibility algebras via the test spaces method

This page was built for publication: Checking admissibility using natural dualities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4617979)