- Tytuł:
- On the Leibniz congruences
- Autorzy:
- Font, Josep
- Tematy:
-
deductive system
protoalgebraic logic
Gentzen calculus
closure operator
abstract logic
algebraizable logic
Leibniz congruence
selfextensional logic
logical matrices
algebraic logic - Pokaż więcej
- Data publikacji:
- 1993
- Wydawca:
- Polska Akademia Nauk. Instytut Matematyczny PAN
- Dostawca treści:
- Biblioteka Nauki
Artykuł