共 50 条
- [3] INTUITIONISTIC 3-VALUED LOGIC AND LOGIC PROGRAMMING [J]. RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1991, 25 (06): : 557 - 587
- [8] MONADIC FUNCTORS IN A 3-VALUED LOGIC [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 16 (03): : 579 - &
- [9] NOTE ON 3-VALUED LOGIC SIMULATION [J]. IEEE TRANSACTIONS ON COMPUTERS, 1972, C 21 (04) : 399 - &
- [10] CLASSICAL, INTUITIONISTIC OR 3-VALUED LOGIC [J]. ZEITSCHRIFT FUR PHILOSOPHISCHE FORSCHUNG, 1977, 31 (01): : 61 - 78