Sequent calculi for \(\mathsf{SCI}\)

DOI10.1007/S11225-017-9754-8zbMath1437.03165DBLPjournals/sLogica/Chlebowski18OpenAlexW2806148198WikidataQ59607908 ScholiaQ59607908MaRDI QIDQ1653652

Szymon Chlebowski

Publication date: 6 August 2018

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

Full work available at URL: https://doi.org/10.1007/s11225-017-9754-8

zbMATH Keywords

sequent calculiadmissibility of cutpropositional identitynon-Fregean logics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (2)

Tableau-based decision procedure for non-Fregean logic of sentential identity ⋮ Natural deduction systems for intuitionistic logic with identity

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Proof-theoretical analysis of order relations
• Dual tableaux. Foundations, methodology, case studies
• DFC-algorithms for Suszko logic and one-to-one Gentzen type formalizations
• A sequence formalization for SCI
• A uniform proof procedure for SCI tautologies
• Investigations into the sentential calculus with identity
• Proof Analysis
• Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI ★
• Cut Elimination in the Presence of Axioms

This page was built for publication: Sequent calculi for \(\mathsf{SCI}\)