Leibniz Filters Revisited |
| |
| Authors: | Ramon Jansana |
| |
| Affiliation: | (1) Dept. Lògica, Història i Filosofia de la Ciència, Universitat de Barcelona, Baldiri i Reixach s/n, 08028 Barcelona, Spain |
| |
| Abstract: | Leibniz filters play a prominent role in the theory of protoalgebraic logics. In [3] the problem of the definability of Leibniz filters is considered. Here we study the definability of Leibniz filters with parameters. The main result of the paper says that a protoalgebraic logic S has its strong version weakly algebraizable iff it has its Leibniz filters explicitly definable with parameters. |
| |
| Keywords: | Protoalgebraic logics Weakly algebraizable logics global and local consequence relations |
| 本文献已被 SpringerLink 等数据库收录！ |
