UNIFICATION IN INTERMEDIATE LOGICS
From MaRDI portal
Publication:3450801
DOI10.1017/JSL.2015.5zbMATH Open1357.03059OpenAlexW2396169190MaRDI QIDQ3450801FDOQ3450801
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
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
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)
Cites Work
- Proof theory for admissible rules
- Structural completeness in fuzzy logics
- On two problems of Harvey Friedman
- Admissibility of logical inference rules
- Best solving modal equations
- Unification theory
- Structural Completeness in Substructural Logics
- On unification and admissible rules in Gabbay-de Jongh logics
- Intermediate logics and Visser's rules
- Admissible Rules of Modal Logics
- Unification, finite duality and projectivity in varieties of Heyting algebras
- Admissible rules in the implication-negation fragment of intuitionistic logic
- Complexity of admissible rules
- A(nother) characterization of intuitionistic propositional logic
- Writing out unifiers for formulas with coefficients in intuitionistic logic
- Admissible and derivable rules in intuitionistic logic
- Structural completeness of Gödel's and Dummett's propositional calculi
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
- A unification of the basic logics of Sambin and Visser
- On the unity of logic
- Tutorial on admissible rules in Gudauri
- On the logic of unification
- Title not available (Why is that?)
- 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)
