Sequent calculi for semi-De Morgan and De Morgan algebras

DOI10.1007/s11225-017-9755-7zbMath1437.03181arXiv1611.05231OpenAlexW2556487522MaRDI QIDQ1653653

Minghui Ma, Fei Liang

Publication date: 6 August 2018

Published in: Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

sequent calculusDe Morgan algebrassemi-De Morgan algebras

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Proof theory in general (including proof-theoretic semantics) (03F03) Logical aspects of ?ukasiewicz and Post algebras (03G20)

Related Items (2)

Semi De Morgan logic properly displayed ⋮ A Weakening of Alpha Graphs: Quasi-Boolean Algebras

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic structures in the vicinity of pre-rough algebra and their logics
• A relational representation of quasi-Boolean algebras
• An algebraic approach to non-classical logics
• On a subvariety of semi-De Morgan algebras
• Semi-De Morgan algebras
• Reasoning with logical bilattices
• The logic of distributive bilattices
• Notes on Craig interpolation for LJ with strong negation
• The Beth property and interpolation in lattice-based algebras and logics
• Semi-de Morgan algebras
• Defining double negation elimination
• The consistency of arithmetics

This page was built for publication: Sequent calculi for semi-De Morgan and De Morgan algebras