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: 93,990

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

Unifiers in transitive modal logics for formulas with coefficients.V. Rybakov - 2013 - Logic Journal of the IGPL 21 (2):205-215.
Unification and admissible rules for paraconsistent minimal Johanssonsʼ logic J and positive intuitionistic logic IPC.Sergei Odintsov & Vladimir Rybakov - 2013 - Annals of Pure and Applied Logic 164 (7-8):771-784.
Book Review: V. V. Rybakov. Admissibility of Logical Inference Rules. [REVIEW]Marcus Kracht - 1999 - Notre Dame Journal of Formal Logic 40 (4):578-587.
Concerning Formulas of the Types A → B v C, A → B in Intuitionistic Formal Systems.T. Thacher Robinson - 1962 - Journal of Symbolic Logic 27 (1):110-111.
Harrop Ronald. Concerning formulas of the types A → B v C, A → B in intuitionistic formal systems. [REVIEW]T. Thacher Robinson - 1962 - Journal of Symbolic Logic 27 (1):110-111.
On second order intuitionistic propositional logic without a universal quantifier.Konrad Zdanowski - 2009 - Journal of Symbolic Logic 74 (1):157-167.
Review: Ronald Harrop, Concerning Formulas of the Types $A rightarrow B mathbf{v} C, A rightarrow (Ex) B(x)$ in Intuitionistic Formal Systems. [REVIEW]T. Thacher Robinson - 1962 - Journal of Symbolic Logic 27 (1):110-111.
Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic.P. Miglioli, U. Moscato & M. Ornaghi - 1997 - Logic Journal of the IGPL 5 (1):145-167.
Unification and projectivity in Fregean varieties.Katarzyna Słomczyńska - 2012 - Logic Journal of the IGPL 20 (1):73-93.
Vyrazimostʹ v ischislenii︠a︡kh vyskazyvaniĭ.M. F. Rat︠s︡a - 1991 - Kishinev: Shtiint︠s︡a. Edited by A. D. Taĭmanov.

Analytics

Added to PP
2016-06-30

Downloads
26 (#599,290)

6 months
5 (#837,573)

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