An axiomatic account of question evocation: the propositional case

DOI10.3390/AXIOMS5020014MaRDI QIDQ2422531zbMATH OpenOpenAlexFDO

Authors Andrzej Wiśniewski

Publication date 19 June 2019

Published in Axioms (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.3390/axioms5020014

zbMATH Keywords

axiomatizationerotetic logicevocation of questions

Mathematics Subject Classification ID

Classical propositional logic (03B05) Logic of natural languages (03B65)

Review text

Summary: An axiomatic system for question evocation in Classical Propositional Logic is proposed. Soundness and completeness of the system are proven.

Cites work

• A loop-free decision procedure for modal propositional logics K4, S4 and S5
• A system for proper multiple-conclusion entailment
• Dual erotetic calculi and the minimal \(\mathsf{LFI}\)
• Erotetic implications
• Erotetic search scenarios
• Handbook of philosophical logic. Vol. 8
• scientific article; zbMATH DE number 3672258 (Why is no real title available?)
• scientific article; zbMATH DE number 1180141 (Why is no real title available?)
• scientific article; zbMATH DE number 1827452 (Why is no real title available?)
• scientific article; zbMATH DE number 1435792 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• Inferential erotetic logic meets inquisitive semantics
• Interrogatives, recursion, and incompleteness
• Questions, inferences, and scenarios
• Socratic proofs
• Socratic trees
• The logic of questions as a theory of erotetic arguments

Cited in

(4)

• Deduction and reduction theorems for inferential erotetic logic
• A cut-free sequent calculus for defeasible erotetic inferences
• A defeasible calculus for zetetic agents
• Calculizing classical inferential erotetic logic

This page was built for publication: An axiomatic account of question evocation: the propositional case

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