Admissibility in De Morgan algebras
From MaRDI portal
Publication:2391905
DOI10.1007/s00500-012-0839-zzbMath1281.06009MaRDI 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
06D30: De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects)
Related Items
Checking Admissibility Using Natural Dualities, Structural and universal completeness in algebra and logic, Almost structural completeness; an algebraic approach, 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