A cut-free sequent calculus for defeasible erotetic inferences

DOI10.1007/S11225-018-9839-ZOpenAlexW2900616281WikidataQ128900159 ScholiaQ128900159MaRDI QIDQ2278843

Jared Millson

Publication date: 11 December 2019

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1811.06883

zbMATH Keywords

sequent calculusproof theoryerotetic logicdefeasible reasoning

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (3)

A logic for best explanations ⋮ 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
• On the semantics and logic of declaratives and interrogatives
• Socratic proofs and paraconsistency: A case study
• Gentzen calculi for modal propositional logic
• Socratic proofs
• An axiomatic account of question evocation: the propositional case
• Unifying logics via context-sensitiveness
• Syntax and semantics of questions
• Uniqueness of axiomatic extensions of cut-free classical propositional logic
• Proof Theory

This page was built for publication: A cut-free sequent calculus for defeasible erotetic inferences