Leibniz filters and the strong version of a protoalgebraic logic

Archive for Mathematical Logic

Volumn 40, Issue 6, 2001, Pages 437-465

  Font, Josep Maria ^a   Jansana, Ramon ^a  

^a UNIVERSITY OF BARCELONA   (Spain)

Author keywords

Abstract algebraic logic ; Algebraizable logic ; Leibniz filter ; Leibniz operator ; Many valued logics ; Modal logics ; Protoalgebraic logic ; Quantum logics ; Strong version ; Transfer theorem

Indexed keywords

EID: 0040436966     PISSN: 09335846     EISSN: None     Source Type: Journal    
DOI: 10.1007/PL00003848     Document Type: Article

References (38)

1. BLOK, W. J., AND PIGOZZI, D. Protoalgebraic logics. Studia Logica 45 (1986), 337-369.
2. BLOK, W. J., AND PIGOZZI, D. Algebraizable logics, vol. 396 of Mem. Amer. Math. Soc. A.M.S., Providence, January 1989.
3. BLOK, W. J., AND PIGOZZI, D. Local Deduction Theorems in Algebraic Logic. In Algebraic Logic, H. Andréka, J. D. Monk, and I. Németi, Eds., vol. 54 of Colloq. Math. Soc. János Bolyai. North-Holland, Amsterdam, 1991, pp. 75-109.
4. BLOOM, S. L. Some theorems on structural consequence operations. Studia Logica 34 (1975), 1-9.
5. BLOOM, S. L., AND BROWN, D. J. Classical abstract logics. Dissertationes Math. (Rozprawy Mat.) 102 (1973), 43-51.
6. CIGNOLI, R., MUNDICI, D., AND D'OTTA VIANO, I. Algebraic foundations of many-valued reasoning, vol. 7 of Trends in Logic. Kluwer, Dordrecht, 1999.
7. CZELAKOWSKI, J. Reduced products of logical matrices. Studia Logica 39 (1980), 19-43.
8. CZELAKOWSKI, J. Equivalential logics, I, II. Studia Logica 40 (1981), 227-236 and 355-372.
9. CZELAKOWSKI, J. Filter Distributive Logics. Studia Logica 43 (1984), 353-377.
10. CZELAKOWSKI, J. Algebraic aspects of Deduction Theorems. Studia Logica 44 (1985), 369-387.
11. CZELAKOWSKI, J. Consequence Operations: Foundational Studies. Reports of the Research Project "Theories, Models, Cognitive Schemata", Institute of Philosophy and Sociology. Polish Academy of Sciences, Warszawa, 1992.
12. CZELAKOWSKI, J. Protoalgebraic Logics, vol. ? of Trends in Logic. Kluwer, Dordrecht. Forthcoming.
13. CZELAKOWSKI, J., AND DZIOBIAK, W. A deduction theorem schema for deductive systems of propositional logics. Studia Logica, Special Issue on Algebraic Logic 50 (1991), 385-390.
14. CZELAKOWSKI, J., AND ELGUETA, R. Local characterization theorems for some classes of structures. Acta Scientiarum Mathematicarum (Szeged) 65 (1999). 19-32.
15. CZELAKOWSKI, J., AND JANSANA, R. Weakly algebraizable logics, The Journal of Symbolic Logic 65 (2000), 641-668.
16. DALLA CHIARA, M. Quantum logic. In Handbook of Philosophical Logic, D. Gabbay and F. Guenthner, Eds., vol. III. Reidel, Dordrecht, 1986, pp. 427-469.
17. FONT, J. M. Monadicity in topological pseudo-Boolean algebras. In Models and Sets, G. Müller and M. Richter, Eds., vol. 1103 of Lecture Notes in Mathematics. Springer-Verlag, 1984, pp. 169-189.
18. FONT, J. M., AND JANSANA, R. A General Algebraic Semantics for Sentential Logics, vol. 7 of Lecture Notes in Logic. Springer-Verlag, 1996. 135 pp.
19. FONT, J. M., JANSANA, R., AND PICOZZI, D. Fully adequate Gentzen systems and the deduction theorem. Reports on Mathematical Logic. To appear.
20. FONT, J. M., AND VERDÚ, V. A first approach to abstract modal logics. The Journal of Symbolic Logic 54 (1989), 1042-1062.
21. FONT, J. M., AND VERDÚ, V. Two levels of modality: an algebraic approach. In Logic Counts, E. Zarnecka-Biały, Ed. Reidel, Dordrecht, 1990, pp. 53-62.
22. GIL, A. J., TORRENS, A., AND VERDÚ, V. Lógicas de Łukasiewicz, congruenciales. Teorema de la Deducción. In Actas del I Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España (Madrid, 1993), E. Bustos, J. Echeverría, E. Pérez Sedeño, and M. I. Sánchez Balmaseda, Eds., pp. 71-74.
23. GOLDBLATT, R. Semantic analysis of orthologic. Journal of Philosophical Logic 3 (1974), 19-35.
24. HÁJEK, P. Metamathematics of fuzzy logic, vol. 4 of Trends in Logic. Kluwer, Dordrecht, 1998.
25. HAY, L. Axiomatization of the infinite-valued predicate calculus. The Journal of Symbolic Logic 28 (1963), 77-86.
26. HERRMANN, B. Equivalential Logics and Definability of Truth. Ph. D. Thesis, Freie Universität Berlin, 1993. 61 pp.
27. HERRMANN, B. Equivalential and Algebraizable Logics. Studia Logica 57 (1996), 419-436.
28. HERRMANN, B. Characterizing equivalential and algebraizable logics by the Leibniz operator. Studia Logica 58 (1997), 305-323.
29. JANSANA, R. Abstract modal logics. Studia Logica 55, 2 (1995), 273-299.
30. ŁUKASIEWICZ, J., AND TARSKI, A. Untersuchungen über den Aussagenkalkül. Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Cl. III 23 (1930), 30-50.
31. MALINOWSKI, J. Modal equivalential logics. Journal of Non-Classical Logic 3 (1986), 13-35.
32. MALINOWSKI, J. Strong versus weak quantum consequence operations. Studia Logica 51 (1992), 113-123.
33. MCNAUGHTON, R. A theorem about infinite valued sentential calculi. The Journal of Symbolic Logic 16 (1951), 336-348.
34. MONTEIRO, A. La sémisimplicité des algèbres de Boole topologiques et les systèmes déductifs. Revista de la Unión Matemática Argentina 25 (1971), 417-448.
35. PORTE, J. Axiomatization and independence in S4 and S5. Reports on Mathematical Logic 16 (1982), 23-35.
36. RASIOWA, H. An algebraic approach to non-classical logics, vol. 78 of Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam, 1974.
37. WÓJCICKI, R. On matrix representation of consequence operations on Łukasiewicz's sentential calculi. Zeitschrift für Mathematische Logik und Grundlagen des Mathematik 19 (1976), 239-247.
38. WÓJCICKI, R. Theory of Logical Calculi. Basic Theory of Consequence Operations, vol. 199 of Synthese Library. Reidel, Dordrecht, 1988.