Socratic proofs for quantifiers

DOI10.1007/S10992-005-9000-0MaRDI QIDQ2499290zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 14 August 2006

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10992-005-9000-0

zbMATH Keywords

completenessfirst-order logiclogic of questionsPure Calculus of Quantifiers

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) Logic of natural languages (03B65)

Recommendations

• Socratic proofs
• First-order inquisitive pair logic
• Equational methods in first order predicate calculus
• scientific article; zbMATH DE number 827982
• Truth-value semantics for a logic of existence

Cites work

• Erotetic implications
• scientific article; zbMATH DE number 3161194 (Why is no real title available?)
• scientific article; zbMATH DE number 956466 (Why is no real title available?)
• scientific article; zbMATH DE number 3591947 (Why is no real title available?)
• scientific article; zbMATH DE number 2096989 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• scientific article; zbMATH DE number 2213621 (Why is no real title available?)
• Socratic proofs
• Socratic proofs and paraconsistency: A case study
• The logic of questions as a theory of erotetic arguments

Cited in

(16)

• The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.
• Socratic proofs
• An abductive Question-Answer System for the minimal logic of formal inconsistency \(\mathsf{mbC}\)
• A loop-free decision procedure for modal propositional logics K4, S4 and S5
• Rasiowa-Sikorski deduction systems with the rule of cut: a case study
• Truth-value semantics for a logic of existence
• Generating cooperative question-responses by means of erotetic search scenarios
• Answering by means of questions in view of inferential erotetic logic
• On Search for Law-Like Statements as Abductive Hypotheses by Socratic Transformations
• Socratic trees
• scientific article; zbMATH DE number 827982 (Why is no real title available?)
• The method of Socratic proofs meets correspondence analysis
• Automated generation of erotetic search scenarios: classification, optimization, and knowledge extraction
• Socratic proofs and paraconsistency: A case study
• Dual erotetic calculi and the minimal \(\mathsf{LFI}\)
• Tableaux and dual tableaux: transformation of proofs

This page was built for publication: Socratic proofs for quantifiers

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