The Gallery

many-valued logic