ON ADOPTING KRIPKE SEMANTICS IN SET THEORY (Q3580661)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | ON ADOPTING KRIPKE SEMANTICS IN SET THEORY |
scientific article |
Statements
ON ADOPTING KRIPKE SEMANTICS IN SET THEORY (English)
0 references
13 August 2010
0 references
logic of set theory
0 references
intuitionistic semantics
0 references
Kripke semantics
0 references
axiomatization
0 references
intuitionistic logic
0 references
