Plisko, V. E. Some variants of the notion of realizability for predicate formulas. (English) Zbl 0414.03038 Math. USSR, Izv. 12, 588-604 (1978). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 9 Documents MSC: 03F55 Intuitionistic mathematics 03B10 Classical first-order logic Keywords:semantics; realizable arithmetic formula; intuitionistic logic; realization of predicate formulas Citations:Zbl 0373.02032; Zbl 0299.02027; Zbl 0358.02035; Zbl 0384.03042 × Cite Format Result Cite Review PDF Full Text: DOI