In memory of Wim Blok

• Autorzy: Font J. M. , Wroński A.
• Języki publikacji: EN
• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Reports on Mathematical Logic
• Rocznik: 2006
• Tom: Nr 41,spec. iss.
• Strony: 1--5
• Opis fizyczny: Bibliogr. 18 poz.

Twórcy

autor

Font J. M.

autor

Wroński A.

Bibliografia

• [1] W. Blok, A. Wroński, and H. Ono, Eds. Algebra and substructural logics. Proceedings of the workshop held in Tatsunokuchi, Japan, November 10-17, 1999. Reports on Mathematical Logic 34 (2000), 165 pp.
• [2] W. Blok and D. Pigozzi, Protoalgebraic logics, Studia Logica 45 (1986), pp.337-369.
• [3] W. Blok and D. Pigozzi, Algebraizable logics, Mem. Amer. Math. Soc. Vol. 396, A.M.S., Providence 1989.
• [4] W. Blok and D. Pigozzi, Local deduction theorems in algebraic logic, In: Algebraic Logic, H. Andréka, J. D. Monk, and I. Németi, Eds., Colloq. Math. Soc. János Bolyai, vol. 54, North-Holland, Amsterdam, 1991, pp. 75-109.
• [5] W. Blok and D. Pigozzi, Algebraic semantics for universal Horn logic with-out equality, In: Universal Algebra and Quasigroup Theory, A. Romanowska and J. D. H. Smith, Eds., Heldermann, Berlin 1992, pp. 1-56.
• [6] J. Czelakowski, Protoalgebraic logics,Trends in Logic - Studia Logica Library vol. 10, Kluwer, Dordrecht 2001.
• [7] J. Czelakowski, The Suszko operator, Part I, Studia Logica (Special Issue on Abstract Algebraic Logic, Part II) 74 (2003), pp. 181-231.
• [8] J. Czelakowski and D. Pigozzi, Fregean logics, Annals of Pure and Applied Logic 127 (2004), pp. 17-76.
• [9] K. Došen and P. Schroeder-Heister, Eds. Substructural Logics, Studies in Logic and Computation vol. 2, Oxford University Press, Oxford 1993.
• [10] J. M. Font, Generalized matrices in abstract algebraic logic, In Trends in Logic. 50 years of Studia Logica, V. F. Hendriks and J. Malinowski, Eds., Trends in Logic - Studia Logica Library vol. 21, Kluwer, Dordrecht 2003, pp. 57-86.
• [11] J. M. Font and R. Jansana, A general algebraic semantics for sentential logics, Lecture Notes in Logic vol. 7, Springer-Verlag, 1996. 135 pp. Presently distributed by the Association for Symbolic Logic.
• [12] J. M. Font, R. Jansana and D. Pigozzi, A survey of abstract algebraic logic, Studia Logica (Special Issue on Abstract Algebraic Logic, Part II) 74 (2003), pp. 13-97.
• [13] A. J. Gil and J. Rebagliato, Protoalgebraic Gentzen systems and the cut rule, Studia Logica (Special Issue on Abstract Algebraic Logic, Part I) 65 (2000), pp.53-89.
• [14] J. Raftery, Willem Blok's Work in Algebraic Logic, Studia Logica 76 (2004), pp.155-160.
• [15] H. Rasiowa, An algebraic approach to non-classical logics, Studies in Logic and the Foundations of Mathematics, vol. 78, North-Holland, Amsterdam 1974.
• [16] G. Voutsadakis, Categorical abstract algebraic logic: equivalent institutions, Studia Logica (Special Issue on Abstract Algebraic Logic, Part II) 74 (2003), pp. 275-311.
• [17] R. Wójcicki, Referential matrix semantics for propositional calculi, Bulletin of the Section of Logic 8 (1979), pp. 170-176.
• [18] R. Wójcicki, Theory of logical calculi. Basic theory of consequence operations, Synthese Library vol. 199, Reidel, Dordrecht 1988.