Pages that link to "Item:Q1576387"
From MaRDI portal
The following pages link to Proto-semantics for positive free logic (Q1576387):
Displaying 9 items.
- Free semantics (Q600848) (← links)
- A more unified approach to free logics (Q830379) (← links)
- A state-of-affairs-semantic solution to the problem of extensionality in free logic (Q830394) (← links)
- Intension, designation, and extension (Q1076007) (← links)
- Strict Fregean free logic (Q1325777) (← links)
- State-of-affairs semantics for positive free logic (Q2499294) (← links)
- Neutral free logic: motivation, proof theory and models (Q2698548) (← links)
- States of Affairs as Structured Extensions in Free Logic (Q5013627) (← links)
- Positive Free Higher-Order Logic and Its Automation via a Semantical Embedding (Q6488130) (← links)