This is a preview of subscription content, log in via an institution to check access.
References
Blok W., Jónsson B.: Equivalence of consequence operations. Studia Logica (Special issue in memory of Willem Blok) 83, 91–110 (2006)
Blok, W., and D. Pigozzi, Algebraizable logics, vol. 396 of Mem. Amer. Math. Soc., A.M.S., Providence, 1989. Out of print. Scanned copy freely available from http://orion.math.iastate.edu:80/dpigozzi/.
Bloom S.L.: Some theorems on structural consequence operations. Studia Logica 34, 1–9 (1975)
Bou, F., F. Esteva, J. M. Font, A. J. Gil, L. Godo, A. Torrens, and V. Verdú, Logics preserving degrees of truth from varieties of residuated lattices, Journal of Logic and Computation 19:1031–1069, 2009.
Brown D.J., Suszko R.: Abstract logics. Dissertationes Math. (Rozprawy Mat.) 102, 9–42 (1973)
Caleiro C., Gonçalves R.: Towards a behavioural algebraic theory of logical valuations. Fundamenta Informaticae 106, 191–209 (2011)
Caleiro C., Gonçalves R., Martins M.: Behavioural algebraization of logics. Studia Logica 91, 63–111 (2009)
Czelakowski, J., Protoalgebraic logics, vol. 10 of Trends in Logic - Studia Logica Library, Kluwer Academic Publishers, Dordrecht, 2001.
DaCosta N. C. A., Béziau J.-Y.: Théorie de la valuation. Logique et Analyse 146, 99–117 (1994)
Dellunde, P., Contributions to the model theory of equality-free logic, Ph. D. Dissertation, University of Barcelona, 1996.
Elgueta, R., Algebraic model theory for languages without equality, Ph. D. Dissertation, University of Barcelona, 1994.
Font J. M.: Taking degrees of truth seriously. Studia Logica (Special issue on Truth Values, Part I) 91, 383–406 (2009)
Font, J. M., and R. Jansana, A general algebraic semantics for sentential logics. Second revised edition, vol. 7 of Lecture Notes in Logic, Association for Symbolic Logic, 2009. Electronic version freely available through Project Euclid at http://projecteuclid.org/euclid.lnl/1235416965.
Font, J. M., R. Jansana, and D. Pigozzi, A survey of abstract algebraic logic, Studia Logica (Special issue on Abstract Algebraic Logic, Part II) 74:13–97, 2003. With an update in vol. 91: 125–130, 2009.
Gil A.J., Rebagliato J.: Finitely equivalential Gentzen systems associated with arbitrary finite algebras. Reports on Mathematical Logic (Special issue in memory of Willem Blok) 41, 9–30 (2006)
Goguen, J., and R. Burstall, Introducing institutions, in E. Clarke, and D. Kozen, (eds.), Proceeedings of the Logic Programming Workshop, vol. 164 of Lecture Notes in Computer Science, Springer-Verlag, New York, 1984, pp. 221–256.
Jansana R., Palmigiano A.: Referential semantics: duality and applications. Reports on Mathematical Logic (Special issue in memory of W.Blok) 41, 63–93 (2006)
Pałlasińska, K., Finite basis theorem for filter-distributive multidimensional protoalgebraic deductive systems, Studia Logica (Special issue on Abstract Algebraic Logic, Part II) 74:233–273, 2003.
Palmigiano, A., Abstract logics as dialgebras, in L. S. Moss, (ed.), Electronic Notes in Theoretical Computer Science, vol. 65, 1, Elsevier, 2002.
Voutsadakis G.: Categorical abstract algebraic logic: algebraizable institutions. Applied Categorical Structures 10, 531–568 (2002)
Voutsadakis, G., Categorical abstract algebraic logic: equivalent institutions, Studia Logica (Special issue on Abstract Algebraic Logic, Part II) 74:275–311, 2003.
Wójcicki R.: Referential matrix semantics for propositional calculi. Bulletin of the Section of Logic 8, 170–176 (1979)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Font, J.M., Jansana, R. Introduction. Stud Logica 101, 647–650 (2013). https://doi.org/10.1007/s11225-013-9493-4
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-013-9493-4