Pages that link to "Item:Q1262853"
From MaRDI portal
The following pages link to Independent axiomatizability of sets of sentences (Q1262853):
Displayed 4 items.
- Classes of valuations closed under operations Galois-dual to Boolean sentence connectives (Q1922666) (← links)
- Properties of the logical consequence operation and its relationship with the independence of propositional logic (Q2274565) (← links)
- Explicating logical independence (Q2301324) (← links)
- The pleasures of anticipation: Enriching intuitionistic logic (Q5957420) (← links)