A proof-theoretic investigation of a logic of positions
From MaRDI portal
Publication:1408856
DOI10.1016/S0168-0072(03)00021-6zbMath1023.03052MaRDI QIDQ1408856
Stefano Baratella, Andrea Masini
Publication date: 25 September 2003
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
modal logicconsistencyproof theorynormalizationnatural deductionprovabilityproof reductionintuitionistic calculus
Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Abstract deductive systems (03B22) Relative consistency and interpretations (03F25)
Related Items (7)
A natural deduction system for bundled branching time logic ⋮ Natural deduction calculi for classical and intuitionistic S5 ⋮ Temporal Gödel‐Gentzen and Girard translations ⋮ An approach to infinitary temporal proof theory ⋮ Embedding theorems for LTL and its variants ⋮ Combining linear-time temporal logic with constructiveness and paraconsistency ⋮ Bounded linear-time temporal logic: a proof-theoretic investigation
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Constructivism in mathematics. An introduction. Volume I
- 2-sequent calculus: A proof theory of modalities
- Light linear logic
- Natural deduction for non-classical logics
- Proof nets, garbage, and computations
- On an intuitionistic modal logic
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- A modal analysis of staged computation
- Extending the Curry-Howard interpretation to linear, relevant and other resource logics
- An analysis of (linear) exponentials based on extended sequents
- Sequent Calculi for Normal Modal Propositional Logics
- Sequent-systems for modal logic
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
This page was built for publication: A proof-theoretic investigation of a logic of positions
