Admissibility in De Morgan algebras

DOI10.1007/S00500-012-0839-ZzbMATH Open1281.06009OpenAlexW2022870017MaRDI QIDQ2391905FDOQ2391905

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

admissibilitystructural completenessDe Morgan algebras

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (4)

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

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)