Sequent calculi for \(\mathsf{SCI}\)
From MaRDI portal
Publication:1653652
DOI10.1007/S11225-017-9754-8zbMath1437.03165DBLPjournals/sLogica/Chlebowski18OpenAlexW2806148198WikidataQ59607908 ScholiaQ59607908MaRDI QIDQ1653652
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
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
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}\)