Pages that link to "Item:Q778737"
From MaRDI portal
The following pages link to Formal notes on the substitutional analysis of logical consequence (Q778737):
Displaying 7 items.
- Towards an adequate definition of distribution for first-order logic (Q1346217) (← links)
- Replacement in logic (Q1947034) (← links)
- SUBSTITUTION IN RELEVANT LOGICS (Q5117597) (← links)
- Stipulation and Symmetrical Consequence (Q5241532) (← links)
- Substitutional validity for modal logic (Q6187414) (← links)
- CLASSICAL DETERMINATE TRUTH I (Q6203556) (← links)
- Logical forms, substitutions and information types (Q6535318) (← links)