PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS
From MaRDI portal
Publication:5737940
DOI10.1017/S1755020316000241zbMath1397.03049arXiv1601.02905MaRDI QIDQ5737940
João Rasga, Cristina Sernadas, Amílcar Sernadas
Publication date: 31 May 2017
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1601.02905
Related Items
Essential structure of proofs as a measure of complexity ⋮ REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION
Cites Work
- Unnamed Item
- Unnamed Item
- On rules
- Consequence relations and admissible 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
- Intermediate logics and Visser's rules
- Admissible rules in the implication-negation fragment of intuitionistic logic
- Complexity of admissible rules
- Proof theory for admissible rules
- Handbook of philosophical logic. Volume II: Extensions of classical logic
- Proof of structural completeness of a certain class of implicative propositional calculi
- Structural completeness of Gödel's and Dummett's propositional calculi
- Admissibility of logical inference rules
- Many-dimensional modal logics: theory and applications
- Best solving modal equations
- Preservation of Craig interpolation by the product of matrix logics
- A rule-completeness theorem
- On the admissible rules of intuitionistic propositional logic
- Fibring: completeness preservation
- Projective unification in modal logic
- Admissible Rules: From Characterizations to Applications
- Bases of Admissible Rules of Lukasiewicz Logic
- Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
- Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
- Properties of independently axiomatizable bimodal logics
- One hundred and two problems in mathematical logic
- Fibring of logics as a categorial construction
- Unification in intuitionistic logic
- Modulated fibring and the collapsing problem
- A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
- On meet-combination of logics
- The complexity of admissible rules of Lukasiewicz logic
- Admissible Rules of Modal Logics