Temporal Gödel‐Gentzen and Girard translations
From MaRDI portal
Publication:4915221
DOI10.1002/malq.201100083zbMath1273.03061OpenAlexW2092396651MaRDI QIDQ4915221
Publication date: 9 April 2013
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.201100083
Temporal logic (03B44) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Subsystems of classical logic (including intuitionistic logic) (03B20)
Cites Work
- Unnamed Item
- Linear logic
- Combining linear-time temporal logic with constructiveness and paraconsistency
- Constructivism in mathematics. An introduction. Volume I
- 2-sequent calculus: A proof theory of modalities
- A proof-theoretic investigation of a logic of positions
- An approach to infinitary temporal proof theory
- Phase semantics for linear-time formalism
- Sequential Calculus for a First Order Infinitary Temporal Logic
- An analysis of (linear) exponentials based on extended sequents