Intuitionistic Socratic procedures

DOI10.3166/JANCL.15.453-464MaRDI QIDQ3647238zbMATH OpenOpenAlexFDO

Authors Tomasz Skura

Publication date 30 November 2009

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3166/jancl.15.453-464

zbMATH Keywords

intuitionistic logicreduction proceduresSocratic proofs

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Socratic trees
• A loop-free decision procedure for modal propositional logics K4, S4 and S5
• Socratic proofs
• scientific article; zbMATH DE number 2213621
• A proof-search procedure for intuitionistic propositional logic

Cites work

• Contraction-free sequent calculi for intuitionistic logic
• scientific article; zbMATH DE number 4116494 (Why is no real title available?)
• scientific article; zbMATH DE number 3066797 (Why is no real title available?)
• Refutations, proofs, and models in the modal logic K4
• Rules and Refutation Rules for the Logic of Finite n-ary Trees
• Socratic proofs

Cited in

(8)

• Socratic proofs
• Answering by means of questions in view of inferential erotetic logic
• Intuitionistic Decision Procedures Since Gentzen
• Socratic trees
• Admissibility and refutation: some characterisations of intermediate logics
• The method of Socratic proofs meets correspondence analysis
• scientific article; zbMATH DE number 2213621 (Why is no real title available?)
• Dual erotetic calculi and the minimal \(\mathsf{LFI}\)

This page was built for publication: Intuitionistic Socratic procedures

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