On unification and admissible rules in Gabbay-de Jongh logics
From MaRDI portal
Publication:386639
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
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
