Partial isomorphisms and intuitionistic logic

Studia Logica 40 (4):405 - 413 (1981)
Abstract
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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00401658
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 33,142
Through your library

References found in this work BETA

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

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total downloads
28 ( #211,745 of 2,241,497 )

Recent downloads (6 months)
1 ( #413,416 of 2,241,497 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature