Pages that link to "Item:Q5545946"
From MaRDI portal
The following pages link to Completeness theorems for some presupposition-free logics (Q5545946):
Displayed 6 items.
- Proto-semantics for positive free logic (Q1576387) (← links)
- Proof-theory and semantics for a theory of definite descriptions (Q2142067) (← links)
- State-of-affairs semantics for positive free logic (Q2499294) (← links)
- Life on the Range: Quine’s Thesis and Semantic Indeterminacy (Q3299524) (← links)
- A mechanization of strong Kleene logic for partial functions (Q5210785) (← links)
- Open formulas and the empty domain (Q5571681) (← links)