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

zbMATH Keywords

proof theoryintuitionistic logicsequent calculusGrzegorczyk logic

Mathematics Subject Classification ID

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

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)