Admissibility in De Morgan algebras

DOI10.1007/s00500-012-0839-zzbMath1281.06009OpenAlexW2022870017MaRDI QIDQ2391905

Christoph Röthlisberger, George Metcalfe

Publication date: 5 August 2013

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://boris.unibe.ch/17005/1/500_2012_Article_839.pdf

zbMATH Keywords

admissibilitystructural completenessDe Morgan algebras

Mathematics Subject Classification ID

De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)

Related Items (4)

Almost structural completeness; an algebraic approach ⋮ Structural and universal completeness in algebra and logic ⋮ Checking Admissibility Using Natural Dualities ⋮ Admissibility via natural dualities

Cites Work

• Unnamed Item
• Admissible rules in the implication-negation fragment of intuitionistic logic
• Residuated lattices. An algebraic glimpse at substructural logics
• Positive Sugihara monoids
• Structural completeness in fuzzy logics
• Implicational classes of De Morgan lattices
• Normal forms and truth tables for fuzzy logics
• A non-finitely based quasi-variety of De Morgan algebras
• Best solving modal equations
• On the admissible rules of intuitionistic propositional logic
• Bases of Admissible Rules of Lukasiewicz Logic
• Structural Completeness in Substructural Logics
• Admissible Rules of Lukasiewicz Logic
• Unification in intuitionistic logic
• Belnap's Four-Valued Logic and De Morgan Lattices
• Lattices With Involution
• Admissible Rules of Modal Logics

This page was built for publication: Admissibility in De Morgan algebras