Pages that link to "Item:Q1219875"
From MaRDI portal
The following pages link to Constructing denumerable matrices strongly adequate for pre-finite logics (Q1219875):
Displaying 4 items.
- Cardinalities of proper ideals in some lattices of strengthenings of the intuitionistic propositional logic (Q800356) (← links)
- On the degree of complexity of sentential logics. A couple of examples (Q1163542) (← links)
- Finite axiomatization for some intermediate logics (Q1165839) (← links)
- For Want of an ‘And’: A Puzzle about Non-Conservative Extension (Q5317773) (← links)
