The following pages link to Models of logical systems (Q5792477):
Displaying 9 items.
- What languages have Tarski truth definitions? (Q598271) (← links)
- On disjunctions and existential statements in intuitionistic systems of logic (Q767454) (← links)
- Translations and structure for partial propositional calculi (Q1211980) (← links)
- An essay in the formal theory of extension and of intension (Q1218422) (← links)
- Universal semantics? (Q1228604) (← links)
- Carnapian and Tarskian semantics (Q1708755) (← links)
- Non-standard models for formal logics (Q5796043) (← links)
- Über <i>ω</i>-Unvollständigkeit in der Peano-Arithmetik (Q5812181) (← links)
- A logical measure function (Q5821426) (← links)
