Unification in intermediate logics

&
Journal of Symbolic Logic 80 (3):713-729 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2015.5

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 102,661

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Unification types and union splittings in intermediate logics.Wojciech Dzik, Sławomir Kost & Piotr Wojtylak - 2025 - Annals of Pure and Applied Logic 176 (1):103508.
On an Application of Intermediate Logics.Toshio Umezawa - 1960 - Journal of Symbolic Logic 25 (3):298-298.
On intermediate propositional logics.Toshio Umezawa - 1959 - Journal of Symbolic Logic 24 (1):20-36.
On unification and admissible rules in Gabbay–de Jongh logics.Jeroen P. Goudsmit & Rosalie Iemhoff - 2014 - Annals of Pure and Applied Logic 165 (2):652-672.
Applications of trees to intermediate logics.Dov M. Gabbay - 1972 - Journal of Symbolic Logic 37 (1):135-138.
On Intermediate Many-valued Logics.Toshio Umezawa - 1959 - Journal of Symbolic Logic 24 (3):250-250.
On Some Properties of Intermediate Logics.Toshio Umezawa - 1960 - Journal of Symbolic Logic 25 (3):297-298.
Unification in superintuitionistic predicate logics and its applications.Wojciech Dzik & Piotr Wojtylak - 2019 - Review of Symbolic Logic 12 (1):37-61.

Analytics

Added to PP
2016-06-30

Downloads
38 (#612,559)

6 months
7 (#595,433)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Rosalie Iemhoff
Utrecht University
R Paul

Citations of this work

A Syntactic Approach to Unification in Transitive Reflexive Modal Logics.Rosalie Iemhoff - 2016 - Notre Dame Journal of Formal Logic 57 (2):233-247.
Unification on Subvarieties of Pseudocomplemented Distributive Lattices.Leonardo Cabrer - 2016 - Notre Dame Journal of Formal Logic 57 (4):477-502.

Add more citations

References found in this work

Best solving modal equations.Silvio Ghilardi - 2000 - Annals of Pure and Applied Logic 102 (3):183-198.
Proof theory for admissible rules.Rosalie Iemhoff & George Metcalfe - 2009 - Annals of Pure and Applied Logic 159 (1-2):171-186.
Complexity of admissible rules.Emil Jeřábek - 2007 - Archive for Mathematical Logic 46 (2):73-92.

View all 19 references / Add more references