An implementation of Kripke-Kleene semantics

• Authors:

• Faye F. Liu;Douglas H. Moore

• Affiliations:

• -;-

• Venue:
• Information Sciences—Informatics and Computer Science: An International Journal
• Year:
• 1998