1. Noun. A system of mathematical logic in which there are three truth values ¹
¹ Source: wiktionary.com