An axiomatic account of question evocation: the propositional case

DOI10.3390/axioms5020014zbMath1415.03037OpenAlexW2395712420MaRDI QIDQ2422531

Andrzej Wiśniewski

Publication date: 19 June 2019

Published in: Axioms (Search for Journal in Brave)

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

zbMATH Keywords

axiomatizationerotetic logicevocation of questions

Mathematics Subject Classification ID

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

Related Items (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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Socratic trees
• Inferential erotetic logic meets inquisitive semantics
• Handbook of philosophical logic. Vol. 8
• Dual erotetic calculi and the minimal \(\mathsf{LFI}\)
• The logic of questions as a theory of erotetic arguments
• Erotetic implications
• Erotetic search scenarios
• Socratic proofs
• A loop-free decision procedure for modal propositional logics K4, S4 and S5
• A system for proper multiple-conclusion entailment
• Interrogatives, Recursion, and Incompleteness

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