共 50 条
- [1] ON THE QUANTIFICATIONAL LOGIC OF INTUITIONISTIC SET-THEORYMATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, 1986, 99 : 5 - 10FRIEDMAN, HMSCEDROV, A
- [2] INTUITIONISTIC MODAL LOGIC AND SET-THEORYJOURNAL OF SYMBOLIC LOGIC, 1991, 56 (02) : 497 - 516LANO, K
- [4] RELATIVE CONSISTENCY OF A SET-THEORY WITH HYPERCLASSESZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1987, 33 (02): : 101 - 106QUANDT, J
- [5] THE CONSISTENCY OF INTUITIONISTIC SET-THEORY WITH CHURCH AND UNIFORMITY PRINCIPLESVESTNIK MOSKOVSKOGO UNIVERSITETA SERIYA 1 MATEMATIKA MEKHANIKA, 1980, (05): : 3 - 7HAHANYAN, VH
- [6] THE INTUITIONISTIC ALTERNATIVE SET-THEORYANNALS OF PURE AND APPLIED LOGIC, 1993, 59 (02) : 141 - 156LANO, K
- [7] RELATIVE CONSISTENCY OF AN EXTENSION OF ACKERMANNS SET-THEORYJOURNAL OF SYMBOLIC LOGIC, 1976, 41 (02) : 465 - 466LAKE, J
- [8] GLOBALIZATION OF INTUITIONISTIC SET-THEORYANNALS OF PURE AND APPLIED LOGIC, 1987, 33 (02) : 195 - 211TAKEUTI, GTITANI, S
- [9] INTUITIONISTIC FUZZY-LOGIC AND INTUITIONISTIC FUZZY SET-THEORYJOURNAL OF SYMBOLIC LOGIC, 1984, 49 (03) : 851 - 866TAKEUTI, GTITANI, S