Pages that link to "Item:Q1245930"
From MaRDI portal
The following pages link to On finitely based consequence operations (Q1245930):
Displayed 7 items.
- The logic of algebraic rules as a generalization of equational logic (Q1065789) (← links)
- Remarks on a survey article on many valued logic by A. Urquhart (Q1100190) (← links)
- Finite structural axiomatization of every finite-valued propositional calculus (Q1145693) (← links)
- An example of strongly finite consequence operation with \(2^ (\aleph_ 0)\) standard strengthenings (Q1153076) (← links)
- The lattice of strengthenings of a strongly finite consequence operation (Q1161517) (← links)
- Three-element nonfinitely axiomatizable matrices (Q1337599) (← links)
- Key notions of Tarski's methodology of deductive systems (Q1820770) (← links)