共 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