cases designated truth value adopting truth values defined way g del logics math tfrac v tfrac v ldots tfrac v v math possible create finitely valued family logics math l v math abovementioned math l infty math logic math l aleph math truth values given rational numbers interval math math set tautologies math l infty math math l aleph math identical product logic product logic truth values interval math math conjunction math odot math implication math xrightarrow pi math defined
Formal science Computer science Logic in computer science Multi-valued logic