Tableau-based decision procedure for non-Fregean logic of sentential identity
From MaRDI portal
Publication:2055842
DOI10.1007/978-3-030-79876-5_3OpenAlexW3183636232MaRDI QIDQ2055842
Michał Zawidzki, Joanna Golińska-Pilarek, Taneli Huuskonen
Publication date: 1 December 2021
Full work available at URL: https://arxiv.org/abs/2104.14697
computational complexityterminationsentential calculus with identitydecision procedurenon-Fregean logicslabelled tableaux
Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the minimal non-Fregean Grzegorczyk logic
- Non-Fregean propositional logic with quantifiers
- \(\in_K\): a non-Fregean logic of explicit knowledge
- Dual tableaux. Foundations, methodology, case studies
- Number of extensions of non-Fregean logics
- \(\in_I\): an intuitionistic logic without Fregean axiom and with predicates for truth and falsity
- DFC-algorithms for Suszko logic and one-to-one Gentzen type formalizations
- A sequence formalization for SCI
- A uniform proof procedure for SCI tautologies
- Sequent calculi for \(\mathsf{SCI}\)
- Tableau-based decision procedure for non-Fregean logic of sentential identity
- Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity
- Investigations into the sentential calculus with identity
- Semantics for the sentential calculus with identity
- Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI ★
- A Mystery of Grzegorczyk’s Logic of Descriptions
- An Investigation into Intuitionistic Logic with Identity
- Automated Synthesis of Tableau Calculi
This page was built for publication: Tableau-based decision procedure for non-Fregean logic of sentential identity
