Decidability of intuitionistic sentential logic with identity via sequent calculus

DOI10.4204/EPTCS.358.10MaRDI QIDQ6659904zbMATH OpenFDO

Authors Agata Tomczyk, Dorota Leszczyńska-Jasion

Publication date 9 January 2025

Full work available at URL https://doi.org/10.4204/EPTCS.358.10

Mathematics Subject Classification ID

General logic (03Bxx)

Cites work

• \(\in_I\): an intuitionistic logic without Fregean axiom and with predicates for truth and falsity
• \(\in_K\): a non-Fregean logic of explicit knowledge
• A uniform proof procedure for SCI tautologies
• An investigation into intuitionistic logic with identity
• scientific article; zbMATH DE number 4212001 (Why is no real title available?)
• scientific article; zbMATH DE number 4164793 (Why is no real title available?)
• scientific article; zbMATH DE number 169733 (Why is no real title available?)
• scientific article; zbMATH DE number 179051 (Why is no real title available?)
• scientific article; zbMATH DE number 3482305 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 3368608 (Why is no real title available?)
• Identity connective and modality
• Investigations into the sentential calculus with identity
• Ontology in the Tractatus of L. Wittgenstein
• Sequent calculi for \(\mathsf{SCI}\)
• Structural proof theory. With an appendix by Aarne Ranta

Cited in

(1)

• Cut-free labelled calculi and decidability for intuitionistic sentential logic with identity

This page was built for publication: Decidability of intuitionistic sentential logic with identity via sequent calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6659904)