Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic IPC^+
From MaRDI portal
Publication:385070
Recommendations
- On the structure of paraconsistent extensions of Johansson's logic
- On unification and admissible rules in Gabbay-de Jongh logics
- Maximal paraconsistent extension of Johansson logic
- On the admissible rules of intuitionistic propositional logic
- Joint consistency in extensions of the minimal logic
- scientific article; zbMATH DE number 2019879
- Admissibility of structural rules for contraction-free systems of intuitionistic logic
- scientific article; zbMATH DE number 912317
- On the unification of classical, intuitionistic and affine logics
- scientific article; zbMATH DE number 6131386
Cites work
- A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
- A method of proving interpolation in paraconsistent extensions of the minimal logic
- Admissible Rules of Lukasiewicz Logic
- Admissible Rules of Modal Logics
- Bases of admissible rules of Łukasiewicz logic
- Best solving modal equations
- Complexity of admissible rules
- Computer Science Logic
- Construction of an explicit basis for rules admissible in modal system S4
- Constructive negations and paraconsistency
- Decidability of the interpolation problem and of related properties in tabular logics
- Decidability of the weak interpolation property over the minimal logic
- scientific article; zbMATH DE number 5640556 (Why is no real title available?)
- scientific article; zbMATH DE number 3659563 (Why is no real title available?)
- Independent Bases of Admissible Rules
- Linear temporal logic LTL: basis for admissible rules
- Linear temporal logic with until and next, logical consecutions
- Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification
- On the admissible rules of intuitionistic propositional logic
- One hundred and two problems in mathematical logic
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
- Proof theory for admissible rules
- Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition
- Rules of inference with parameters for intuitionistic logic
- Unification in a description logic with transitive closure of roles
- Unification in intuitionistic logic
- Unification in linear temporal logic LTL
- Unification in modal and description logics
- Unification in the description logic EL
- Unification of concept terms in description logics
- Unification theory
- Unification through projectivity
Cited in
(18)- Admissibility in positive logics
- Subminimal negation
- Strong decidability and strong recognizability
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
- Recognizability in pre-Heyting and well-composed logics
- Provability games for non-classical logics. Mezhirov game for MPC, KD!, and KD
- Deductive systems with multiple-conclusion rules and the disjunction property
- Inference rules in Nelson's logics, admissibility and weak admissibility
- On rules
- Admissible bases via stable canonical rules
- Tutorial on admissible rules in Gudauri
- Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
- Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge
- Multiple conclusion rules in logics with the disjunction property
- Preservation of admissible rules when combining logics
- Recognizable and perceptible logics and varieties
- Temporal logic with accessibility temporal relations generated by time states themselves
This page was built for publication: Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q385070)
