共 38 条
- [1] Avron A., 1994, Journal of Logic and Computation, V4, P929, DOI 10.1093/logcom/4.6.929
- [5] Casari E, 1997, SYNTH LIBR, V259, P261
- [6] Casari E., 1989, LOGIC C 88, V88, P161
- [7] CASARI E, 1991, NUOVI PROBLEMI LOGIC, V2, P39
- [8] Cignoli R. L. O., 1999, ALGEBRAIC FDN MANY V