Semi De Morgan logic properly displayed

DOI10.1007/s11225-020-09898-yOpenAlexW3006778584MaRDI QIDQ2021557

Alessandra Palmigiano, Fei Liang, M. Andrew Moshier, Giuseppe Greco

Publication date: 27 April 2021

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

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

zbMATH Keywords

multi-type methodologyproper display calculussemi De Morgan algebras

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (4)

Linear Logic Properly Displayed ⋮ Syntactic Completeness of Proper Display Calculi ⋮ Non-normal modal logics and conditional logics: semantic analysis and proof theory ⋮ A Kripke Semantics for Hajek's BL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A Sahlqvist theorem for distributive modal logic
• Sequent calculi for semi-De Morgan and De Morgan algebras
• Lattice logic properly displayed
• Multi-type display calculus for semi De Morgan logic
• Displaying modal logic
• Semi-De Morgan algebras
• Reasoning with logical bilattices
• Algorithmic correspondence and canonicity for non-distributive logics
• Logics for rough concept analysis
• Non normal logics: semantic analysis and proof theory
• Bilattice logic properly displayed
• Proper multi-type display calculi for rough algebras
• A Multi-type Calculus for Inquisitive Logic
• Dynamic Epistemic Logic Displayed
• Multi-type display calculus for dynamic epistemic logic
• Multi-type display calculus for propositional dynamic logic
• Jónsson-style canonicity for ALBA-inequalities
• Semi-de Morgan algebras
• Distributive Lattices with a Negation Operator
• THE LOGIC OF RESOURCES AND CAPABILITIES
• Unified correspondence as a proof-theoretic tool
• Bounded distributive lattice expansions
• Power and Limits of Structural Display Rules
• Heterogeneous algebras
• Bounded lattice expansions

This page was built for publication: Semi De Morgan logic properly displayed