Admissibility in positive logics

DOI10.1007/S11787-017-0180-5zbMath1420.03049arXiv1610.08700OpenAlexW2542047951MaRDI QIDQ1689558

Alex Citkin

Publication date: 12 January 2018

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

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

zbMATH Keywords

inference ruleadmissible ruleintermediate logicBrouwerian algebrapositive logicmultiple-conclusion rule

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Equational classes, universal algebra in model theory (03C05) Intermediate logics (03B55)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof complexity of intuitionistic implicational formulas
• Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
• On unification and admissible rules in Gabbay-de Jongh logics
• Admissible rules in the implication-negation fragment of intuitionistic logic
• Constructive negations and paraconsistency
• A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
• Bases of admissible rules of the logics S4 and Int
• An algebraic approach to non-classical logics
• Admissibility of logical inference rules
• On not strengthening intuitionistic logic
• On the structural completeness of some pure implicational propositional calculi
• Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
• Positive Formulas in Intuitionistic and Minimal Logic
• Independent Bases of Admissible Rules
• Canonical rules
• ON ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC

This page was built for publication: Admissibility in positive logics