Deductive systems with unified multiple-conclusion rules

DOI10.21146/2074-1472-2020-26-2-87-105MaRDI QIDQ5061418zbMATH OpenOpenAlexFDO

Authors Alex Citkin

Publication date 12 January 2023

Published in Logical Investigations (Search for Journal in Brave)

Full work available at URL https://doi.org/10.21146/2074-1472-2020-26-2-87-105

zbMATH Keywords

deductive system with rejectionlogic with refutationmultiple conclusion rulespropositional logic

Mathematics Subject Classification ID

Classical propositional logic (03B05) Abstract deductive systems (03B22)

Recommendations

• A meta-logic of inference rules: syntax
• Deductive systems with multiple-conclusion rules and the disjunction property
• Logics of rejection: Two systems of natural deduction
• Natural deduction for dual-intuitionistic logic
• scientific article; zbMATH DE number 640717

Cites work

• A meta-logic of inference rules: syntax
• scientific article; zbMATH DE number 4135907 (Why is no real title available?)
• scientific article; zbMATH DE number 3335866 (Why is no real title available?)
• scientific article; zbMATH DE number 3032489 (Why is no real title available?)
• scientific article; zbMATH DE number 3099235 (Why is no real title available?)
• scientific article; zbMATH DE number 3099236 (Why is no real title available?)
• Hybrid logic and its proof-theory
• Judgment and consequence relations
• On proofs of rejection
• Rejection in Łukasiewicz’s and Słupecki’s Sense
• Rules and Derived Rules
• The logic with truth and falsehood operators from a point of view of universal logic

Cited in

(5)

• Deductive systems with multiple-conclusion rules and the disjunction property
• A meta-logic of inference rules: syntax
• Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview
• scientific article; zbMATH DE number 976352 (Why is no real title available?)
• scientific article; zbMATH DE number 2227401 (Why is no real title available?)

This page was built for publication: Deductive systems with unified multiple-conclusion rules

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