References
AndrÉka, H., and NÉmeti, I., 'General algebraic logic: A perspective on “What is Logic”', in What is a Logical System?, D. Gabbay (ed.), vol. 4 of “Studies in Logic and Computation”, Oxford University Press, 1994, pp. 393-443.
AndrÉka, H., NÉmeti, I., and Sain, I., 'Abstract model theoretic approach to algebraic logic', CCSOM Working paper 92–92, University of Amsterdam, 1992, 45 pp. (Version December 14, 1992; first version 1984).
Baaz, M., Fermueller, C. G., and Zach, R., 'Elimination of cuts in first-order finite-valued logics', Journal of Information Processing and Cybernetics EIK 29,6 (1994), 333-355.
Blok, W., and Pigozzi, D., 'On the structure of varieties with equationally definable principal congrucnces IV', Algebra Universalis 31 (1994), 1-35.
Blok, W. J., and Pigozzi, D., 'Protoalgebraic logics', Studia Logica 45 (1986), 337-369.
Blok, W. J., and Pigozzi, D., Algebraizable Logics, vol. 396 of “Memoirs of the American Mathematical Society”, A.M.S., Providence, January 1989.
Blok, W. J., and Pigozzi, D., 'Algebraic semantics for Universal Horn Logic without equality', in Universal Algebra and Quasigroup Theory, A. Romanowska and J. D. H. Smith (eds.), Heldermann Verlag, Berlin, 1992, pp. 1-56.
Blok, W. J., and Pigozzi, D., 'Abstract algebraic logic and the deduction theorem', The Bulletin of Symbolic Logic (200x, to appear).
Brown, D. J., and Suszko, R., 'Abstract logics', Dissertationes Mathematicae (Rozprawy Matematyczne) 102 (1973), 9-42.
Czelakowski, J., 'Equivalential logics, I, II', Studia Logica 40 (1981), 227-236 and 355–372.
Czelakowski, J., Protoalgebraic logics, Trends in Logic (Studia Logica Library), Kluwer Academic Publishers, Dordrecht, 2000 (to appear).
Dummett, M., 'A propositional calculus with denumerable matrix', The Journal of Symbolic Logic 24 (1959), 97-106.
Font, J. M., and Jansana, R., 'On the sentential logics associated with strongly nice and semi-nice general logics', Bullctin of the IGPL 2 (1994), 55-76.
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.
Font, J. M., Jansana, R., and Pigozzi, D. (eds.), Workshop on Abstract Algebraic Logic, vol. 10 of “Quaderns”, Centre de Recerca Matemàtica, Bellaterra (Spain), 1998.
Gil, A., Rebagliato, J., and VerdÚ, V., 'A strong completeness theorem for the Gentzen systems associated with finite algebras', Journal of Applied Non-Classical Logics 9,1 (1999), 9-36.
Herrmann, B., 'Equivalential and algebraizable logics', Studia Logica 57 (1996), 419-436.
Herrmann, B., 'Characterizing equivalential and algebraizable logics by the Leibniz operator', Studia Logica 58 (1997), 305-323.
Klunder, B., 'Representable pseudo-interior algebras', Algebra Universalis 40 (1998), 177-188.
Rebagliato, J., and VerdÚ, V., 'On the algebraization of some Gentzen systems', Fundamenta Informaticae, Special Issue on Algebraic Logic and its Applications 18 (1993), 319-338.
Rousseau, G., 'Sequents in many-valued logic I', Fundamenta Mathematicae 60 (1967), 23-33.
Subrahmanian, V. S., 'On the semantics of logic programs', in Proceedings of the 4th IEEE Symposium on Logic Programming, Computer Society Press, Washington D. C., 1987, pp. 173-182.
WÓjcicki, R., Theory of Logical Calculi. Basic Theory of Consequence Operations, vol. 199 of “Synthese Library”, Reidel, Dordrecht, 1988.
Rights and permissions
About this article
Cite this article
Font, J.M., Jansana, R. & Pigozzi, D. Foreword. Studia Logica 65, 1–9 (2000). https://doi.org/10.1023/A:1005273024017
Issue Date:
DOI: https://doi.org/10.1023/A:1005273024017