Pages that link to "Item:Q1262853"
From MaRDI portal
The following pages link to Independent axiomatizability of sets of sentences (Q1262853):
Displaying 6 items.
- Absolutely independent axiomatizations for countable sets in classical logic (Q1262297) (← links)
- 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)
- Some proofs of independence in axiomatic set theory (Q3237140) (← links)
- The pleasures of anticipation: Enriching intuitionistic logic (Q5957420) (← links)