Pages that link to "Item:Q385070"
From MaRDI portal
The following pages link to Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) (Q385070):
Displaying 18 items.
- On rules (Q266650) (← links)
- Admissible bases via stable canonical rules (Q284230) (← links)
- Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation (Q498234) (← links)
- Recognizable and perceptible logics and varieties (Q683376) (← links)
- Temporal logic with accessibility temporal relations generated by time states themselves (Q779153) (← links)
- Admissibility in positive logics (Q1689558) (← links)
- Subminimal negation (Q1699743) (← links)
- Strong decidability and strong recognizability (Q1703280) (← links)
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
- Recognizability in pre-Heyting and well-composed logics (Q2003246) (← links)
- Provability games for non-classical logics. Mezhirov game for MPC, KD!, and KD (Q2148809) (← links)
- Deductive systems with multiple-conclusion rules and the disjunction property (Q2306638) (← links)
- Inference rules in Nelson's logics, admissibility and weak admissibility (Q2342802) (← links)
- Tutorial on Admissible Rules in Gudauri (Q3455180) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
- Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge (Q5068380) (← links)
- Multiple Conclusion Rules in Logics with the Disjunction Property (Q5283419) (← links)
- PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS (Q5737940) (← links)
