UNIFICATION IN INTERMEDIATE LOGICS

DOI10.1017/JSL.2015.5zbMath1357.03059OpenAlexW2396169190MaRDI QIDQ3450801

Paul Rozière, Rosalie Iemhoff

Publication date: 9 November 2015

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://dspace.library.uu.nl/handle/1874/237046

zbMATH Keywords

unificationadmissible rulesintermediate logicsfragments

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Related Items (4)

On rules ⋮ A syntactic approach to unification in transitive reflexive modal logics ⋮ Tutorial on Admissible Rules in Gudauri ⋮ UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS

Cites Work

• Unnamed Item
• On unification and admissible rules in Gabbay-de Jongh logics
• Intermediate logics and Visser's rules
• Unification, finite duality and projectivity in varieties of Heyting algebras
• Admissible rules in the implication-negation fragment of intuitionistic logic
• Complexity of admissible rules
• Proof theory for admissible rules
• Structural completeness in fuzzy logics
• On two problems of Harvey Friedman
• Structural completeness of Gödel's and Dummett's propositional calculi
• Admissibility of logical inference rules
• Best solving modal equations
• Structural Completeness in Substructural Logics
• Admissible and derivable rules in intuitionistic logic
• Writing out unifiers for formulas with coefficients in intuitionistic logic
• Admissible Rules of Modal Logics
• A(nother) characterization of intuitionistic propositional logic

This page was built for publication: UNIFICATION IN INTERMEDIATE LOGICS