Sequent calculi for the propositional logic of HYPE

DOI10.1007/S11225-021-09971-0MaRDI QIDQ2144182zbMATH OpenOpenAlexFDO

Authors Martin J. Fischer

Publication date 1 June 2022

Published in Studia Logica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s11225-021-09971-0

zbMATH Keywords

conditionalsnegationconnectionscut-eliminationpartial

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
• Routley star and hyperintensionality
• A contraction-free and cut-free sequent calculus for propositional dynamic logic
• A sequent calculus for a logic of contingencies
• Hypersequent calculi for some intermediate logics with bounded Kripke models

Cites work

• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 3106019 (Why is no real title available?)
• Cut‐Elimination Theorem for the Logic of Constant Domains
• HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
• Negation as a modality in a quantified setting
• Proof theory and algebra in logic
• Proof theory. 2nd ed
• Routley star and hyperintensionality
• Structural proof theory. With an appendix by Aarne Ranta

Cited in

(1)

• NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE

Describes a project that uses

Uses Software

• Pesca

This page was built for publication: Sequent calculi for the propositional logic of HYPE

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2144182)