Sequent calculi for the propositional logic of HYPE

DOI10.1007/s11225-021-09971-0OpenAlexW3212513060MaRDI QIDQ2144182

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

zbMATH Keywords

connectionsconditionalscut-eliminationnegationpartial

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (1)

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

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Routley star and hyperintensionality
• Proof theory. 2nd ed
• Proof theory and algebra in logic
• HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
• Negation as a modality in a quantified setting
• Cut‐Elimination Theorem for the Logic of Constant Domains

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