Decidability of intuitionistic sentential logic with identity via sequent calculus

DOI10.4204/EPTCS.358.10MaRDI QIDQ6659904FDOQ6659904

Authors: Agata Tomczyk, Dorota Leszczyńska-Jasion 

Publication date: 9 January 2025

Mathematics Subject Classification ID

General logic (03Bxx)

Cites Work

• Structural proof theory. With an appendix by Aarne Ranta
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Investigations into the sentential calculus with identity
• Identity connective and modality
• Ontology in the Tractatus of L. Wittgenstein
• \(\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
• Sequent calculi for \(\mathsf{SCI}\)
• An investigation into intuitionistic logic with identity
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)