A meta-logic of inference rules: Syntax
From MaRDI portal
Publication:2987742
DOI10.12775/LLP.2015.007zbMath1375.03015arXiv1411.7516MaRDI QIDQ2987742
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
propositional logicadmissible ruledeductive systemmultiple-conclusion ruleŁ-systemrejected proposition
Related Items (5)
Deductive systems with unified multiple-conclusion rules ⋮ On the mutual definability of the notions of entailment, rejection, and inconsistency ⋮ Unified deductive systems: an outline ⋮ Rejection in Łukasiewicz’s and Słupecki’s Sense ⋮ Paraconsistency in classical logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The method of axiomatic rejection for the intuitionistic propositional logic
- Proof theory for admissible rules
- A method for simultaneous search for refutations and models by equational constraint solving
- Admissibility of logical inference rules
- Refutation systems in modal logic
- Rejection and truth-value gaps
- The revival of rejective negation
- The theory of rejected propositions. II
- On pairs of dual consequence operations
- On refutation rules
- On proofs of rejection
- Theory of rejected propositions. I
- Judgment and consequence relations
- Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview
- Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics
- Canonical rules
- Rules and Derived Rules
- Rejection
- Rejection and valuations
- Inferentialism and the categoricity problem: reply to Raatikainen
- The equations of the technical theory of shells with the effect of transverse shear deformation
- Admissible Rules of Modal Logics
This page was built for publication: A meta-logic of inference rules: Syntax
