A proof-theoretic investigation of a logic of positions
type: Item
instance of: scholarly article
title: A proof-theoretic investigation of a logic of positions
zbMATH Open document ID: 1023.03052
DOI: 10.1016/S0168-0072(03)00021-6
author: Stefano Baratella
author: Andrea Masini
published in: Annals of Pure and Applied Logic
publication date: 2003-09-25T00:00:00Z
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03F25
Mathematics Subject Classification ID: 03B22
zbMATH DE Number: 1985943
zbMATH Keywords: proof theory
zbMATH Keywords: natural deduction
zbMATH Keywords: normalization
zbMATH Keywords: modal logic
zbMATH Keywords: proof reduction
zbMATH Keywords: intuitionistic calculus
zbMATH Keywords: consistency
zbMATH Keywords: provability
describes a project that uses: MiniML
MaRDI profile type: Publication
cites work: Natural deduction for non-classical logics
cites work: On an intuitionistic modal logic
cites work: A modal analysis of staged computation
cites work: Sequent-systems for modal logic
cites work: Q4385542
cites work: Extending the Curry-Howard interpretation to linear, relevant and other resource logics
cites work: Q3773876
cites work: Q4842981
cites work: Light linear logic
cites work: An analysis of (linear) exponentials based on extended sequents
cites work: Proof nets, garbage, and computations
cites work: Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
cites work: Q4842974
cites work: Q5688812
cites work: 2-sequent calculus: A proof theory of modalities
cites work: Q5632554
cites work: Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
cites work: Constructivism in mathematics. An introduction. Volume I
cites work: Sequent Calculi for Normal Modal Propositional Logics
Recommended article: Q3824287
Recommended article: Provability logics with quantifiers on proofs
Recommended article: Proof theory for positive logic with weak negation
Recommended article: Q4934557
Recommended article: On propositional quantifiers in provability logic
Recommended article: The axiomatization of propositional logic
Recommended article: Proof-theoretic semantics and inquisitive logic
Recommended article: A new proof of the fixed-point theorem of provability logic
Recommended article: Topological Interpretations of Provability Logic
Recommended article: Q5870840
description: scientific article; zbMATH DE number 1985943