Pages that link to "Item:Q3156301"
From MaRDI portal
The following pages link to On the Substitutional Characterization of First-Order Logical Truth (Q3156301):
Displaying 4 items.
- Formal notes on the substitutional analysis of logical consequence (Q778737) (← links)
- Boolos and the Metamathematics of Quine's Definitions of Logical Truth and Consequence (Q2964410) (← links)
- Quine’s Substitutional Definition of Logical Truth and the Philosophical Significance of the Löwenheim-Hilbert-Bernays Theorem (Q5208122) (← links)
- Substitutional validity for modal logic (Q6187414) (← links)