Sequent calculi for \(\mathsf{SCI}\)
type: Item
instance of: scholarly article
title: Sequent calculi for \(\mathsf{SCI}\)
zbMATH Open document ID: 1437.03165
author: Szymon Chlebowski
published in: Studia Logica
publication date: 2018-08-06T00:00:00Z
Mathematics Subject Classification ID: 03F07
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03F03
Mathematics Subject Classification ID: 03B60
zbMATH DE Number: 6914009
zbMATH Keywords: non-Fregean logics
zbMATH Keywords: sequent calculi
zbMATH Keywords: admissibility of cut
zbMATH Keywords: propositional identity
describes a project that uses: Pesca
MaRDI profile type: Publication
full work available at URL: s11225-017-9754-8
OpenAlex ID: W2806148198
Wikidata QID: Q59607908
cites work: Investigations into the sentential calculus with identity
cites work: Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI ★
cites work: A uniform proof procedure for SCI tautologies
cites work: Cut Elimination in the Presence of Axioms
cites work: Proof Analysis
cites work: Proof-theoretical analysis of order relations
cites work: Dual tableaux. Foundations, methodology, case studies
cites work: Q4065517
cites work: A sequence formalization for SCI
cites work: DFC-algorithms for Suszko logic and one-to-one Gentzen type formalizations
DBLP publication ID: journals/sLogica/Chlebowski18
DOI: 10.1007/S11225-017-9754-8
description: scientific article; zbMATH DE number 6914009