Pages that link to "Abstract algebraic logic"
From HandWiki
The following pages link to Abstract algebraic logic:
Displaying 13 items.
- Abstraction (mathematics) (← links)
- Abstract logic (transclusion) (← links)
- Craig interpolation (← links)
- Logical consequence (← links)
- Closure operator (← links)
- Lindenbaum–Tarski algebra (← links)
- Modal algebra (← links)
- Leibniz operator (← links)
- Cylindric algebra (← links)
- Algebraic logic (← links)
- Biography:George Boole (← links)
- Biography:Alfred Tarski (← links)
- Biography:Wim Blok (← links)
