A system for proper multiple-conclusion entailment

DOI10.12775/LLP.2015.001zbMath1375.03016OpenAlexW1971963598MaRDI QIDQ2987737

Tomasz Skura, Andrzej Wiśniewski

Publication date: 18 May 2017

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.12775/llp.2015.001

zbMATH Keywords

multiple-conclusion entailment

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Abstract deductive systems (03B22)

Related Items (8)

IEL-based Formal Dialogue System for Tutorials ⋮ Generalized Entailments ⋮ An axiomatic account of question evocation: the propositional case ⋮ Disjunctive Multiple-Conclusion Consequence Relations ⋮ Deduction and reduction theorems for inferential erotetic logic ⋮ Disjunctive and conjunctive multiple-conclusion consequence relations ⋮ Deductive systems with multiple-conclusion rules and the disjunction property ⋮ CALCULIZING CLASSICAL INFERENTIAL EROTETIC LOGIC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantical investigations in Heyting's intuitionistic logic
• A refutation theory
• Judgment and consequence relations
• Natural 3-valued logics—characterization and proof theory

This page was built for publication: A system for proper multiple-conclusion entailment