Cut-free sequent calculus and natural deduction for the tetravalent modal logic

DOI10.1007/S11225-021-09944-3OpenAlexW3169375340MaRDI QIDQ2062196

Martín Figallo

Publication date: 27 December 2021

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

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

zbMATH Keywords

modal logicssequent systemsnatural deduction systemsfour-valued logics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (1)

Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Hilbert-style presentations of two logics associated to tetravalent modal algebras
• Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics
• Disentangling \textsf{FDE}-based paraconsistent modal logics
• Four-valued modal logic: Kripke semantics and duality
• MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH
• An abstract algebraic logic approach to tetravalent modal logics
• Logics of Formal Inconsistency
• Kripke Semantics for Modal Bilattice Logic
• On Generalized I-Algebras and 4-valued Modal Algebras
• Multi-valued Calculi for Logics Based on Non-determinism

This page was built for publication: Cut-free sequent calculus and natural deduction for the tetravalent modal logic