- Tytuł:
- Categorical Abstract Algebraic Logic: Syntactically Algebraizable pi-Institutions
- Autorzy:
- Voutsadakis, G.
- Data publikacji:
- 2009
- Słowa kluczowe:
-
quasi-varieties
equational logic
algebraizable logics
syntactically N-algebraizable pi-institutions
equivalential logics
N-equivalential pi-institutions
protoalgebraic logics
N-protoalgebraic pi-insitutions
Leibniz operator
Leibniz hierarchy
N-Leibniz operator
regularly algebraizable logics
relatively point-regular quasivarieties
deduction-detachment theorem - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł