A system for proper multiple-conclusion entailment

DOI10.12775/LLP.2015.001MaRDI QIDQ2987737zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Entailment, transmission of truth, and minimality
• Generalized entailments
• A decision procedure for the system E (of entailment). I
• Perfect validity, entailment and paraconsistency
• scientific article; zbMATH DE number 4160691

Cites work

• A refutation theory
• scientific article; zbMATH DE number 3497860 (Why is no real title available?)
• scientific article; zbMATH DE number 3591947 (Why is no real title available?)
• scientific article; zbMATH DE number 201040 (Why is no real title available?)
• scientific article; zbMATH DE number 3099236 (Why is no real title available?)
• Judgment and consequence relations
• Natural 3-valued logics—characterization and proof theory
• Questions, inferences, and scenarios
• Semantical investigations in Heyting's intuitionistic logic

Cited in

(12)

• 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
• An axiomatic account of question evocation: the propositional case
• IEL-based formal dialogue system for tutorials
• Generalized entailments
• Calculizing classical inferential erotetic logic
• Entailment, transmission of truth, and minimality
• Disjunctive multiple-conclusion consequence relations
• A new type of polytomous surmise system
• Managing multiple information sources for a questioning agenda
• A decision procedure for the system E (of entailment). I

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

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