Admissibility in De Morgan algebras

DOI10.1007/S00500-012-0839-ZMaRDI QIDQ2391905zbMATH OpenOpenAlexFDO

Authors George Metcalfe, Christoph Röthlisberger

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

admissibilityDe Morgan algebrasstructural completeness

Mathematics Subject Classification ID

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

Cites work

• A non-finitely based quasi-variety of De Morgan algebras
• Admissible rules in the implication-negation fragment of intuitionistic logic
• Admissible Rules of Lukasiewicz Logic
• Admissible Rules of Modal Logics
• Bases of admissible rules of Łukasiewicz logic
• Belnap's Four-Valued Logic and De Morgan Lattices
• Best solving modal equations
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• Implicational classes of De Morgan lattices
• Lattices With Involution
• Normal forms and truth tables for fuzzy logics
• On the admissible rules of intuitionistic propositional logic
• Positive Sugihara monoids
• Residuated lattices. An algebraic glimpse at substructural logics
• Structural completeness in fuzzy logics
• Structural Completeness in Substructural Logics
• Unification in intuitionistic logic

Cited in

(4)

• Admissibility via natural dualities
• Almost structural completeness; an algebraic approach
• Checking admissibility using natural dualities
• Structural and universal completeness in algebra and logic

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

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