Writing out unifiers for formulas with coefficients in intuitionistic logic

Logic Journal of the IGPL 21 (2):187-198 (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzs015

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,923

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

Bi-Simulating in Bi-Intuitionistic Logic.Guillermo Badia - 2016 - Studia Logica 104 (5):1037-1050.
Unification and projectivity in Fregean varieties.Katarzyna Słomczyńska - 2012 - Logic Journal of the IGPL 20 (1):73-93.
Extendible Formulas in Two Variables in Intuitionistic Logic.Nick Bezhanishvili & Dick Jongh - 2012 - Studia Logica 100 (1-2):61-89.
On Some Semi-Intuitionistic Logics.Juan M. Cornejo & Ignacio D. Viglizzo - 2015 - Studia Logica 103 (2):303-344.
Intuitionistic Predicate Logic with Decidable Propositional Formulas.Alexander Sakharov - 2007 - Reports on Mathematical Logic.
Decidable Formulas Of Intuitionistic Primitive Recursive Arithmetic.Saeed Salehi - 2002 - Reports on Mathematical Logic 36 (1):55-61.
An application of the Rieger-Nishimura formulas to the intuitionistic modal logics.Dimiter Vakarelov - 1984 - Bulletin of the Section of Logic 13 (3):120-122.
Best Unifiers in Transitive Modal Logics.Vladimir V. Rybakov - 2011 - Studia Logica 99 (1-3):321-336.
The "Relevance" of Intersection and Union Types.Mariangiola Dezani-Ciancaglini, Silvia Ghilezan & Betti Venneri - 1997 - Notre Dame Journal of Formal Logic 38 (2):246-269.
Self-referentiality of Brouwer–Heyting–Kolmogorov semantics.Junhua Yu - 2014 - Annals of Pure and Applied Logic 165 (1):371-388.
The Skolemization of existential quantifiers in intuitionistic logic.Matthias Baaz & Rosalie Iemhoff - 2006 - Annals of Pure and Applied Logic 142 (1):269-295.
On second order intuitionistic propositional logic without a universal quantifier.Konrad Zdanowski - 2009 - Journal of Symbolic Logic 74 (1):157-167.
The pleasures of anticipation: Enriching intuitionistic logic. [REVIEW]Lloyd Humberstone - 2001 - Journal of Philosophical Logic 30 (5):395-438.
Intuitionistic Completeness and Classical Logic.D. C. McCarty - 2002 - Notre Dame Journal of Formal Logic 43 (4):243-248.
On the unity of logic.Jean-Yves Girard - 1993 - Annals of Pure and Applied Logic 59 (3):201-217.

Analytics

Added to PP
2016-06-30

Downloads
26 (#628,186)

6 months
5 (#703,779)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Rules with parameters in modal logic I.Emil Jeřábek - 2015 - Annals of Pure and Applied Logic 166 (9):881-933.
Unification in intermediate logics.Rosalie Iemhoff & Paul Rozière - 2015 - Journal of Symbolic Logic 80 (3):713-729.
Projective formulas and unification in linear temporal logic LTLU.V. Rybakov - 2014 - Logic Journal of the IGPL 22 (4):665-672.

Add more citations

References found in this work

No references found.

Add more references