Admissibility via natural dualities

DOI10.1016/j.jpaa.2015.02.015zbMath1346.08005arXiv1501.06141OpenAlexW2039105437MaRDI QIDQ2349950

Leonardo Manuel Cabrer, George Metcalfe

Publication date: 18 June 2015

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

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

Mathematics Subject Classification ID

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

Related Items

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

Cites Work

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