The following pages link to (Q4133631):
Displaying 7 items.
- Structural completeness in relevance logics (Q295911) (← links)
- The degrees of maximality of the intuitionistic propositional logic and of some of its fragments (Q1159192) (← links)
- The lattice of strengthenings of a strongly finite consequence operation (Q1161517) (← links)
- On structural completeness of implicational logics (Q1181489) (← links)
- On structural completeness of many-valued logics (Q1252341) (← links)
- Key notions of Tarski's methodology of deductive systems (Q1820770) (← links)
- Syntactic characterizations of completeness using duals and operators (Q2903761) (← links)