共 24 条
- [1] Anderson A. R., 1975, ENTAILMENT LOGIC REL, VI
- [2] AVRON A, 1987, SEMANTICS PROOF THEO
- [3] Birkhoff G., 1966, LATTICE THEORY
- [4] CANTINI A, 1983, PROPERTIES OPERATION
- [5] CATTANEO G, IN PRESS INT J THEOR
- [6] CHURCH A, 1951, STRUCTURE METHOD MEA
- [7] DA COSTA N. C. A, 1982, J NONCLASSICAL LOGIC, V1, P1
- [8] Dalla Chiara M.L., 1986, HDB PHILOS LOGIC, VIII
- [9] DALLACHIARA ML, 1985, VERSUS, V40, P29
- [10] DALLACHIARA ML, 1987, SYNTHESE, V73, P479