The G4i analogue of a G3i sequent calculus

DOI10.1007/S11225-022-10008-3MaRDI QIDQ2106879zbMATH OpenOpenAlexWikidataFDO

Authors Rosalie Iemhoff

Publication date 29 November 2022

Published in Studia Logica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s11225-022-10008-3

zbMATH Keywords

intermediate logicsequent calculusintuitionistic modal logicterminating proof systems

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Terminating sequent calculi for two intuitionistic modal logics
• Sequent calculi for intuitionistic Gödel-Löb logic
• Gentzen sequent calculi for some intuitionistic modal logics
• A Terminating Evaluation-Driven Variant of G3i
• An analytic calculus for the intuitionistic logic of proofs

Cites work

• scientific article; zbMATH DE number 2184446 (Why is no real title available?)
• scientific article; zbMATH DE number 1215493 (Why is no real title available?)
• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• scientific article; zbMATH DE number 1390272 (Why is no real title available?)
• scientific article; zbMATH DE number 1418447 (Why is no real title available?)
• scientific article; zbMATH DE number 3074071 (Why is no real title available?)
• A new algorithm for derivability in the constructive propositional calculus
• An O(n log n)-Space Decision Procedure for Intuitionistic Propositional Logic
• Bounds for cut elimination in intuitionistic propositional logic
• Constructive modalities with provability smack
• Contraction-free sequent calculi for intuitionistic logic
• Lewis meets Brouwer: constructive strict implication
• Models for stronger normal intuitionistic modal logics
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• On modal logic with an intuitionistic base
• On sequent calculi for intuitionistic propositional logic.
• Proving termination with multiset orderings
• Sequent calculi for intuitionistic Gödel-Löb logic
• Terminating sequent calculi for two intuitionistic modal logics
• Uniform interpolation and propositional quantifiers in modal logics
• Uniform interpolation and sequent calculi in modal logic
• Uniform interpolation and the existence of sequent calculi

Cited in

(1)

• A Terminating Evaluation-Driven Variant of G3i

This page was built for publication: The G4i analogue of a G3i sequent calculus

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