Pages that link to "Abstract algebraic logic"
From HandWiki
The following pages link to Abstract algebraic logic:
Displayed 17 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Abstraction (mathematics) (← links)
- Abstract logic (transclusion) (← links)
- Craig interpolation (← links)
- Logical consequence (← links)
- Logical connective (← links)
- Closure operator (← links)
- Lindenbaum–Tarski algebra (← links)
- Modal algebra (← links)
- Leibniz operator (← links)
- Cylindric algebra (← links)
- Algebraic logic (← links)
- Philosophy:Many-sorted logic (← links)
- Philosophy:Non-classical logic (← links)
- Philosophy:Universal logic (← links)
- Biography:George Boole (← links)
- Biography:Alfred Tarski (← links)
- Biography:Wim Blok (← links)
