The G4i analogue of a G3i sequent calculus
type: Item
instance of: scholarly article
title: The G4i analogue of a G3i sequent calculus
author: Rosalie Iemhoff
published in: Studia Logica
publication date: 2022-11-29T00:00:00Z
Mathematics Subject Classification ID: 03-XX
zbMATH DE Number: 7625362
zbMATH Keywords: intuitionistic modal logic
zbMATH Keywords: intermediate logic
zbMATH Keywords: sequent calculus
zbMATH Keywords: terminating proof systems
MaRDI profile type: Publication
full work available at URL: s11225-022-10008-3
OpenAlex ID: W4285491326
Wikidata QID: Q114017381
cites work: Uniform interpolation and propositional quantifiers in modal logics
cites work: Q4215630
cites work: Proving termination with multiset orderings
cites work: Models for stronger normal intuitionistic modal logics
cites work: Contraction-free sequent calculi for intuitionistic logic
cites work: On modal logic with an intuitionistic base
cites work: Q3022776
cites work: Sequent calculi for intuitionistic Gödel-Löb logic
cites work: Q4934559
cites work: Bounds for cut elimination in intuitionistic propositional logic
cites work: An O(n log n)-Space Decision Procedure for Intuitionistic Propositional Logic
cites work: Terminating sequent calculi for two intuitionistic modal logics
cites work: Uniform interpolation and sequent calculi in modal logic
cites work: Uniform interpolation and the existence of sequent calculi
cites work: Constructive Modalities with Provability Smack
cites work: Lewis meets Brouwer: constructive strict implication
cites work: On an interpretation of second order quantification in first order intuitionistic propositional logic
cites work: Q3417780
cites work: Q4716271
cites work: Q5813185
cites work: A new algorithm for derivability in the constructive propositional calculus
cites work: Q4942002
DOI: 10.1007/S11225-022-10008-3
description: scientific article; zbMATH DE number 7625362