Admissibility via natural dualities

DOI10.1016/J.JPAA.2015.02.015zbMATH Open1346.08005arXiv1501.06141OpenAlexW2039105437MaRDI QIDQ2349950FDOQ2349950

Leonardo Manuel Cabrer, George Metcalfe

Publication date: 18 June 2015

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Abstract: It is shown that admissible clauses and quasi-identities of quasivarieties generated by a single finite algebra, or equivalently, the quasiequational and universal theories of their free algebras on countably infinitely many generators, may be characterized using natural dualities. In particular, axiomatizations are obtained for the admissible clauses and quasi-identities of bounded distributive lattices, Stone algebras, Kleene algebras and lattices, and De Morgan algebras and lattices.

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

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Equational classes, universal algebra in model theory (03C05) Free algebras (08B20) Natural dualities for classes of algebras (08C20) Quasivarieties (08C15) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Lattices and duality (06D50)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Untersuchungen über das logische Schliessen. I
• Admissibility of logical inference rules
• Best solving modal equations
• On the admissible rules of intuitionistic propositional logic
• Linear Temporal Logic LTL: Basis for Admissible Rules
• Bases of Admissible Rules of Lukasiewicz Logic
• Admissible Rules of Lukasiewicz Logic
• Unification in intuitionistic logic
• Intermediate logics and Visser's rules
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Admissible Rules of Modal Logics
• Admissible rules in the implication-negation fragment of intuitionistic logic
• Substructural fuzzy logics
• Admissibility in De Morgan algebras
• Admissibility in finitely generated quasivarieties
• Lattices With Involution
• Implicational classes of De Morgan lattices
• Piggyback-Dualitäten
• Applications of Duality in the Theory of Finitely Generated Lattice-Ordered Abelian Groups
• Sublattices of a Free Lattice
• A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
• Unification in linear temporal logic LTL
• Dualities for Stone algebras, double Stone algebras, and relative Stone algebras
• Projective distributive lattices
• Unification and projectivity in De Morgan and Kleene algebras.

Cited In (12)

• Checking Admissibility Using Natural Dualities
• Structural and universal completeness in algebra and logic
• Almost structural completeness; an algebraic approach
• Consequence relations and admissible rules
• Characteristic inference rules
• Deciding dependence in logic and algebra
• Multiple Conclusion Rules in Logics with the Disjunction Property
• Projectivity and unification in substructural logics of generalized rotations
• Finitary extensions of the nilpotent minimum logic and (almost) structural completeness
• Deciding active structural completeness
• Distributive bilattices from the perspective of natural duality theory.
• Sugihara algebras: admissibility algebras via the test spaces method

This page was built for publication: Admissibility via natural dualities

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