Pages that link to "Item:Q1233021"

The following pages link to Connections between some notions of completeness of structural propositional calculi (Q1233021):

Displayed 3 items.

• The lattice of strengthenings of a strongly finite consequence operation (Q1161517) ‎ (← links)
• Key notions of Tarski's methodology of deductive systems (Q1820770) ‎ (← links)
• Concerning the notion of completeness of invariant propositional calculi (Q1844204) ‎ (← links)