Pages that link to "Item:Q1233021"
From MaRDI portal
The following pages link to Connections between some notions of completeness of structural propositional calculi (Q1233021):
Displayed 7 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)
- Theories of the classical propositional logic and substitutions (Q2063679) (← links)
- ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION (Q4557169) (← links)
- From Paraconsistent Logic to Dialetheic Logic (Q5213760) (← links)
- On the three-valued expansions of Kleene's logic (Q6143288) (← links)