A meta-logic of inference rules: syntax

DOI10.12775/LLP.2015.007MaRDI QIDQ2987742zbMATH OpenFDO

Authors Alex Citkin

Publication date 18 May 2017

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

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

zbMATH Keywords

deductive systempropositional logicadmissible rulemultiple-conclusion rulerejected propositionŁ-system

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Abstract deductive systems (03B22)

Abstract: This work was intended to be an attempt to introduce the meta-language for working with multiple-conclusion inference rules that admit asserted propositions along with the rejected propositions. The presence of rejected propositions, and especially the presence of the rule of reverse substitution, requires certain change the definition of structurality.

Recommendations

• Deductive systems with unified multiple-conclusion rules
• Acceptance, inference, and the multiple-conclusion sequent
• What is the logic of inference?
• On refutation rules
• Deductive systems with multiple-conclusion rules and the disjunction property

Cites work

• scientific article; zbMATH DE number 3162889 (Why is no real title available?)
• scientific article; zbMATH DE number 5521458 (Why is no real title available?)
• scientific article; zbMATH DE number 31604 (Why is no real title available?)
• scientific article; zbMATH DE number 120342 (Why is no real title available?)
• scientific article; zbMATH DE number 1163928 (Why is no real title available?)
• scientific article; zbMATH DE number 3066797 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (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?)
• A method for simultaneous search for refutations and models by equational constraint solving
• Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview
• Admissibility of logical inference rules
• Admissible Rules of Modal Logics
• Axiomatic rejection in the implicational-negational invariant sentential calculi of Łukasiewicz
• Canonical rules
• Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics
• Inferentialism and the categoricity problem: reply to Raatikainen
• Judgment and consequence relations
• Multiple conclusions
• On pairs of dual consequence operations
• On proofs of rejection
• On refutation rules
• Proof theory for admissible rules
• Refutation systems in modal logic
• Rejection
• Rejection and truth-value gaps
• Rejection and valuations
• Rules and Derived Rules
• The equations of the technical theory of shells with the effect of transverse shear deformation
• The method of axiomatic rejection for the intuitionistic propositional logic
• The revival of rejective negation
• The theory of rejected propositions. II
• Theory of rejected propositions. I

Cited in

(8)

• Rejection in Łukasiewicz’s and Słupecki’s Sense
• Unified deductive systems: an outline
• Inferences and metainferences in \(\mathsf{ST}\)
• Rules and meta-rules in the framework of possibility theory and possibilistic logic
• Paraconsistency in classical logic
• Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview
• Deductive systems with unified multiple-conclusion rules
• On the mutual definability of the notions of entailment, rejection, and inconsistency

This page was built for publication: A meta-logic of inference rules: syntax

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