Admissibility in positive logics

DOI10.1007/S11787-017-0180-5zbMATH Open1420.03049arXiv1610.08700OpenAlexW2542047951MaRDI QIDQ1689558FDOQ1689558

Authors: Alex Citkin 

Publication date: 12 January 2018

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

Abstract: The paper studies admissibility of multiple-conclusion rules in the positive logics. Using modification of a method used by M.~Wajsberg in the proof of the separation theorem, it is shown that the problem of admissibility in positive logics is equivalent to the problem of admissibility in intermediate logics defined by positive additional axioms.

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

Recommendations

• Multiple conclusion rules in logics with the disjunction property
• Admissible rules: from characterizations to applications
• Proof theory for admissible rules
• Admissible Rules of Modal Logics
• Admissible Rules of Lukasiewicz Logic

zbMATH Keywords

intermediate logicadmissible ruleinference ruleBrouwerian algebrapositive logicmultiple-conclusion rule

Mathematics Subject Classification ID

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

Cites Work

• Admissibility of logical inference rules
• On the structural completeness of some pure implicational propositional calculi
• Title not available (Why is that?)
• Independent Bases of Admissible Rules
• Canonical rules
• 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
• Title not available (Why is that?)
• Admissible rules in the implication-negation fragment of intuitionistic logic
• Title not available (Why is that?)
• Bases of admissible rules of the logics S4 and Int
• An algebraic approach to non-classical logics
• Title not available (Why is that?)
• Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
• Constructive negations and paraconsistency
• Proof complexity of intuitionistic implicational formulas
• Positive formulas in intuitionistic and minimal logic
• Title not available (Why is that?)
• A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
• ON ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On not strengthening intuitionistic logic
• Title not available (Why is that?)

Cited In (5)

• Admissibility, compatibility, and deducibility in first-order sequent logics
• Admissibility and Unifiability in Contact Logics
• Lexicographic rationalizability and iterated admissibility
• Title not available (Why is that?)
• Multiple conclusion rules in logics with the disjunction property

This page was built for publication: Admissibility in positive logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1689558)