The G4i analogue of a G3i sequent calculus

DOI10.1007/S11225-022-10008-3OpenAlexW4285491326WikidataQ114017381 ScholiaQ114017381MaRDI QIDQ2106879FDOQ2106879

Authors: Rosalie Iemhoff 

Publication date: 29 November 2022

Published in: Studia Logica (Search for Journal in Brave)

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)

Cites Work

• Proving termination with multiset orderings
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• Uniform interpolation and propositional quantifiers in modal logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Models for stronger normal intuitionistic modal logics
• Contraction-free sequent calculi for intuitionistic logic
• On modal logic with an intuitionistic base
• Bounds for cut elimination in intuitionistic propositional logic
• Uniform interpolation and sequent calculi in modal logic
• Uniform interpolation and the existence of sequent calculi
• An O(n log n)-Space Decision Procedure for Intuitionistic Propositional Logic
• A new algorithm for derivability in the constructive propositional calculus
• Title not available (Why is that?)
• Sequent calculi for intuitionistic Gödel-Löb logic
• Lewis meets Brouwer: constructive strict implication
• Constructive Modalities with Provability Smack
• Terminating sequent calculi for two intuitionistic modal logics
• On sequent calculi for intuitionistic propositional logic.

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)