Decidability of intuitionistic sentential logic with identity via sequent calculus
From MaRDI portal
Publication:6659904
Cites work
- 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?)
- A uniform proof procedure for SCI tautologies
- An investigation into intuitionistic logic with identity
- 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
- \(\in_I\): an intuitionistic logic without Fregean axiom and with predicates for truth and falsity
- \(\in_K\): a non-Fregean logic of explicit knowledge
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)
