A terminating intuitionistic calculus

DOI10.1017/JSL.2023.88MaRDI QIDQ6987829zbMATH OpenFDO

Authors Giulio Fellin, Sara Negri

Publication date 6 May 2025

Published in The Journal of Symbolic Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/JSL.2023.88

zbMATH Keywords

Grzegorczyk logicintuitionistic logicproof theorysequent calculus

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Modal logic (including the logic of norms) (03B45) Structure of proofs (03F07) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Cites work

• A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel-McKinsey-Tarski embedding
• A proof-theoretic study of bi-intuitionistic propositional sequent calculus
• Intuitionistic Decision Procedures Since Gentzen
• Intuitionistic logic freed of all metarules
• Modal logic for induction
• On modal systems having arithmetical interpretations
• On the duality of proofs and countermodels in labelled sequent calculi
• Proof Analysis
• Proof analysis in intermediate logics
• Proof analysis in modal logic
• Proof analysis in non-classical logics
• Proof theory. 2nd ed
• Proofs and countermodels in non-classical logics
• Saved from the cellar. Gerhard Gentzen's shorthand notes on logic and foundations of mathematics
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Some relational systems and the associated topological spaces
• The Church-Fitch knowability paradox in the light of structural proof theory
• Untersuchungen über das logische Schliessen. I
• Untersuchungen über das logische Schließen. II.

Cited in

(1)

• Labelled KE for intuitionistic propositional logic

This page was built for publication: A terminating intuitionistic calculus

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