共 44 条
[1]
Andreka H., 2001, Handbook of Philosophical Logic, V2, P133
[2]
[Anonymous], 1965, Theory of Models
[3]
[Anonymous], 1957, J SYMBOLIC LOGIC
[4]
Bacsich Paul D., 1975, Algebra Universalis, V5, P45
[5]
BARWISE, 1985, MODEL THEORETIC LOGI
[6]
Beth E. W., 1953, Indagationes Mathematicae (Proceedings), V15, P330
[7]
Czelakowski J, 1999, LECT NOTES PURE APPL, V203, P187
[8]
Gabbay D. M., 2005, Interpolation and definability. Modal and intuitionistic logics, V46
[10]
Gratzer G., 1978, General lattice theory