Pages that link to "Judgment (mathematical logic)"
From HandWiki
The following pages link to Judgment (mathematical logic):
Displayed 17 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Turnstile (symbol) (← links)
- Index of logic articles (← links)
- Hindley–Milner type system (← links)
- Type rule (← links)
- Typing environment (← links)
- Constructive set theory (← links)
- Identity type (← links)
- Hilbert system (← links)
- Sequent (← links)
- History of type theory (← links)
- Type theory (← links)
- Sequent calculus (← links)
- Typing rule (← links)
- Philosophy:Square of opposition (← links)
- Philosophy:Natural deduction (← links)
- Philosophy:Speech act (← links)
- Biography:Robert Stalnaker (← links)