The following pages link to (Q3889025):
Displayed 4 items.
- Data types over multiple-valued logics (Q752687) (← links)
- Another proof that \(ISP_ r(K)\) is the least quasivariety containing K (Q795076) (← links)
- Remarks on a survey article on many valued logic by A. Urquhart (Q1100190) (← links)
- Key notions of Tarski's methodology of deductive systems (Q1820770) (← links)