共 50 条
- [7] INTUITIONISTIC 3-VALUED LOGIC AND LOGIC PROGRAMMING RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1991, 25 (06): : 557 - 587
- [9] MONADIC FUNCTORS IN A 3-VALUED LOGIC NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 16 (03): : 579 - &