A proof-theoretic investigation of a logic of positions

DOI10.1016/S0168-0072(03)00021-6MaRDI QIDQ1408856zbMATHFDO

Authors Stefano Baratella, Andrea Masini

Publication date 25 September 2003

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

consistencyproof theorymodal logicnatural deductionnormalizationprovabilityproof reductionintuitionistic calculus

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Abstract deductive systems (03B22) Relative consistency and interpretations (03F25)

Recommendations

• scientific article; zbMATH DE number 4099259
• Provability logics with quantifiers on proofs
• Proof theory for positive logic with weak negation
• scientific article; zbMATH DE number 1390270
• On propositional quantifiers in provability logic
• The axiomatization of propositional logic
• Proof-theoretic semantics and inquisitive logic
• A new proof of the fixed-point theorem of provability logic
• Topological interpretations of provability logic
• A logical analysis of fixpoint theorems

Cites work

• scientific article; zbMATH DE number 4033738 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 786493 (Why is no real title available?)
• scientific article; zbMATH DE number 786500 (Why is no real title available?)
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• scientific article; zbMATH DE number 970633 (Why is no real title available?)
• 2-sequent calculus: A proof theory of modalities
• A modal analysis of staged computation
• An analysis of (linear) exponentials based on extended sequents
• Constructivism in mathematics. An introduction. Volume I
• Extending the Curry-Howard interpretation to linear, relevant and other resource logics
• Light linear logic
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Natural deduction for non-classical logics
• On an intuitionistic modal logic
• Proof nets, garbage, and computations
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Sequent Calculi for Normal Modal Propositional Logics
• Sequent-systems for modal logic

Cited in

(9)

• A natural deduction calculus for \textbf{S4.2}
• Natural deduction calculi for classical and intuitionistic S5
• An approach to infinitary temporal proof theory
• Combining linear-time temporal logic with constructiveness and paraconsistency
• Embedding theorems for LTL and its variants
• A natural deduction system for bundled branching time logic
• THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE
• Temporal Gödel-Gentzen and Girard translations
• Bounded linear-time temporal logic: a proof-theoretic investigation

Describes a project that uses

Uses Software

• MiniML

This page was built for publication: A proof-theoretic investigation of a logic of positions

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