On unification and admissible rules in Gabbay-de Jongh logics

DOI10.1016/j.apal.2013.09.003zbMath1316.03016OpenAlexW1973489930MaRDI QIDQ386639

Jeroen P. Goudsmit, Rosalie Iemhoff

Publication date: 10 December 2013

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2013.09.003

zbMATH Keywords

admissible rulesdisjunction propertyintermediate logicextension property

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract deductive systems (03B22) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Related Items

On rules ⋮ Multiple Conclusion Rules in Logics with the Disjunction Property ⋮ UNIFICATION IN INTERMEDIATE LOGICS ⋮ Tutorial on Admissible Rules in Gudauri ⋮ Admissibility in positive logics ⋮ UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS ⋮ Admissibility and refutation: some characterisations of intermediate logics ⋮ PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS ⋮ The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Intermediate logics and Visser's rules
• Admissible rules in the implication-negation fragment of intuitionistic logic
• A note on admissible rules and the disjunction property in intermediate logics
• Unification in linear temporal logic LTL
• Proof theory for admissible rules
• A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
• On maximal intermediate logics with the disjunction property
• On two problems of Harvey Friedman
• Constructivism in mathematics. An introduction. Volume I
• Theory of logical calculi. Basic theory of consequence operations
• Admissibility of logical inference rules
• Best solving modal equations
• On the rules of intermediate logics
• On the admissible rules of intuitionistic propositional logic
• Unification in modal and description logics
• A Resolution/Tableaux Algorithm for Projective Approximations in IPC
• Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
• Admissible Rules of Lukasiewicz Logic
• Proving termination with multiset orderings
• One hundred and two problems in mathematical logic
• Unification in intuitionistic logic
• Term Rewriting and All That
• A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
• Computer Science Logic
• Admissible Rules of Modal Logics
• A(nother) characterization of intuitionistic propositional logic
• Unification theory