Pages that link to "Item:Q4861490"
From MaRDI portal
The following pages link to Denotation and description in free logic* (Q4861490):
Displaying 8 items.
- A state-of-affairs-semantic solution to the problem of extensionality in free logic (Q830394) (← links)
- First order logic with empty structures (Q1262299) (← links)
- Strict Fregean free logic (Q1325777) (← links)
- Proto-semantics for positive free logic (Q1576387) (← links)
- Unified grounding (Q1706747) (← links)
- The Trivial Object and the Non-Uiviality of a Semantically Closed Theory with Descriptions (Q4236064) (← links)
- Free Definite Description Theory – Sequent Calculi and Cut Elimination (Q5006839) (← links)
- Fregean Description Theory in Proof-Theoretical Setting (Q5215499) (← links)