Lopez-Escobar, E. G. K. Equivalence between semantics for intuitionism. I. (English) Zbl 0497.03047 J. Symb. Log. 46, 773-780 (1981). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 1 Document MSC: 03G30 Categorical logic, topoi 03F50 Metamathematics of constructive systems Keywords:intuitionism; natural equivalence of semantics for a logic; Kripke-model; Beth-model; category of languages; category of systems of interpretations × Cite Format Result Cite Review PDF Full Text: DOI References: [1] DOI: 10.1016/0003-4843(78)90029-3 · Zbl 0399.03049 · doi:10.1016/0003-4843(78)90029-3 [2] A new version of Beth semantics for intuitionistic logic 42 pp 306– (1977) · Zbl 0379.02007 [3] Constructivity in mathematics (1957) [4] An intuitionistic completeness theorem for intuitionistic predicate logic 41 pp 159– (1976) [5] An intuitionistically plausible interpretation of intuitionistic logic 42 pp 564– (1977) [6] Completeness proofs for the Intuitionistic sentential calculus (1957) [7] The mathematics of metamathematics (1963) [8] Proof theory and Intuitionism (1968) [9] Natural deduction, a proof-theoretical study (1965) · Zbl 0173.00205 [10] Categories for the working mathematician (1971) · Zbl 0232.18001 [11] Intuitionism and proof theory (1968) [12] Some theorems about the sentential calculi of Lewis and Heyting 13 pp 1– (1948) · Zbl 0037.29409 [13] Formal systems and recursive functions pp 92– (1963) [14] On the interpretation of intuitionistic number theory 10 pp 109– (1945) [15] DOI: 10.1016/0003-4843(76)90008-5 · Zbl 0317.02037 · doi:10.1016/0003-4843(76)90008-5 [16] The foundations of mathematics (1959) This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.