UNIFICATION IN INTERMEDIATE LOGICS

DOI10.1017/JSL.2015.5MaRDI QIDQ3450801zbMATH OpenOpenAlexFDO

Authors Rosalie Iemhoff, Paul Rozière

Publication date 9 November 2015

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

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

zbMATH Keywords

admissible rulesfragmentsunificationintermediate logics

Mathematics Subject Classification ID

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

Recommendations

• Unification types in logic
• UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS
• Writing out unifiers for formulas with coefficients in intuitionistic logic
• A syntactic approach to unification in transitive reflexive modal logics
• A note on the existence property for intuitionistic logic with function symbols
• Intuitionistic completeness of first-order logic
• scientific article; zbMATH DE number 440473
• Sound and complete Gentzen deduction system for intermediate propositional logic
• Uniform interpolation and propositional quantifiers in modal logics

Cites work

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

Cited in

(16)

• On rules
• A syntactic approach to unification in transitive reflexive modal logics
• Unification types in logic
• Unification in first-order transitive modal logic
• UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS
• T-string unification: unifying prefixes in non-classical proof methods
• Unification types and union splittings in intermediate logics
• Unifying Theories of Logic and Specification
• Algebraic and logical aspects of unification
• Writing out unifiers for formulas with coefficients in intuitionistic logic
• On the unity of logic
• A unification of the basic logics of Sambin and Visser
• Tutorial on admissible rules in Gudauri
• On the logic of unification
• scientific article; zbMATH DE number 3966049 (Why is no real title available?)
• Unification in Łukasiewicz Logic with a Finite Number of Variables

This page was built for publication: UNIFICATION IN INTERMEDIATE LOGICS

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