Sequent calculi for the propositional logic of HYPE

DOI10.1007/S11225-021-09971-0OpenAlexW3212513060MaRDI QIDQ2144182FDOQ2144182

Authors: Martin J. Fischer 

Publication date: 1 June 2022

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

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

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

zbMATH Keywords

conditionalsnegationconnectionscut-eliminationpartial

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Structural proof theory. With an appendix by Aarne Ranta
• Title not available (Why is that?)
• Title not available (Why is that?)
• Proof theory. 2nd ed
• HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
• Title not available (Why is that?)
• Routley star and hyperintensionality
• Negation as a modality in a quantified setting
• Proof theory and algebra in logic
• Cut‐Elimination Theorem for the Logic of Constant Domains

Cited In (1)

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

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)