A proof-theoretic investigation of a logic of positions

DOI10.1016/S0168-0072(03)00021-6zbMATH Open1023.03052MaRDI QIDQ1408856FDOQ1408856

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)

Cites Work

• Constructivism in mathematics. An introduction. Volume I
• On an intuitionistic modal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Light linear logic
• A modal analysis of staged computation
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• 2-sequent calculus: A proof theory of modalities
• Extending the Curry-Howard interpretation to linear, relevant and other resource logics
• Title not available (Why is that?)
• Sequent-systems for modal logic
• Sequent Calculi for Normal Modal Propositional Logics
• An analysis of (linear) exponentials based on extended sequents
• Proof nets, garbage, and computations

Cited In (9)

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

Uses Software

• MiniML

   Recommendations

• Title not available (Why is that?) 👍 👎
• Provability logics with quantifiers on proofs 👍 👎
• Proof theory for positive logic with weak negation 👍 👎
• Title not available (Why is that?) 👍 👎
• 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 👍 👎
• Title not available (Why is that?) 👍 👎

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)