Inference rules in Nelson's logics, admissibility and weak admissibility

DOI10.1007/s11787-014-0110-8zbMath1336.03036OpenAlexW1996903520MaRDI QIDQ2342802

Sergei P. Odintsov, Vladimir Vladimirovich Rybakov

Publication date: 29 April 2015

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://e-space.mmu.ac.uk/600915/2/Nelson_LU%20%281%29.pdf

zbMATH Keywords

decidabilitystrong negationadmissible inference rulesweak admissibilityNelson's logicVorob'ev translation

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Related Items (3)

Intransitive Temporal Multi-agent’s Logic, Knowledge and Uncertainty, Plausibility ⋮ Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge ⋮ Temporal logic with accessibility temporal relations generated by time states themselves

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
• Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition
• Generalized Kripke semantics for Nelson's logic
• Unification in linear temporal logic LTL
• Complexity of admissible rules
• Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
• Constructive logic with strong negation is a substructural logic. I
• Linear temporal logic with until and next, logical consecutions
• Constructive logic with strong negation is a substructural logic. II
• Proof theory for admissible rules
• A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
• Semantical analyses of propositional systems of Fitch and Nelson
• Intuitionistic logic with strong negation
• Implicative twist-structures
• On the admissible rules of intuitionistic propositional logic
• Construction of an Explicit Basis for Rules Admissible in Modal System S4
• Linear Temporal Logic LTL: Basis for Admissible Rules
• Bases of Admissible Rules of Lukasiewicz Logic
• N-lattices and constructive logic with strong negation
• Independent Bases of Admissible Rules
• Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification
• Admissible Rules of Lukasiewicz Logic
• Constructive Logic with Strong Negation as a Substructural Logic
• Constructible falsity and inexact predicates
• Rules of inference with parameters for intuitionistic logic
• One hundred and two problems in mathematical logic
• Unification in intuitionistic logic
• Algebraic Semantics for Paraconsistent Nelson's Logic
• Computer Science Logic
• Logic Programming and Nonmonotonic Reasoning
• A semantical study of constructible falsity
• Admissible Rules of Modal Logics
• Constructible falsity

This page was built for publication: Inference rules in Nelson's logics, admissibility and weak admissibility