Partial isomorphisms and intuitionistic logic

Studia Logica 40 (4):405 - 413 (1981)
  Copy   BIBTEX


A game for testing the equivalence of Kripke models with respect to finitary and infinitary intuitionistic predicate logic is introduced and applied to discuss a concept of categoricity for intuitionistic theories.



    Upload a copy of this work     Papers currently archived: 74,649

External links

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

Through your library


Added to PP

64 (#184,693)

6 months
1 (#419,510)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

On Models with Variable Universe.Bernd Ingo Dahn - 1975 - Studia Logica 34 (1):11 - 23.

Add more references