×

Universal logic: evolution of a project. (English) Zbl 1396.03002

Summary: We discuss the origin and development of the universal logic project. We describe in particular the structure of UNILOG, a series of events created for promoting the universal logic project, with a school, a congress, a secret speaker and a contest. We explain how the contest has evolved into a session of logic prizes.

MSC:

03-03 History of mathematical logic and foundations
01A61 History of mathematics in the 21st century
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Beziau, J.-Y.: Universal logic. In: Childers, T., Majer, O. (eds.) Logica94—Proceedings of the 8th International Symposium, pp. 73-93. Prague (1994)
[2] Beziau, J.-Y.: Recherches sur la logique universelle. Ph.D., Department of Mathematics, University of Paris 7 (1995) · Zbl 0936.03010
[3] Beziau, J-Y, From paraconsistent to universal logic, Sorites, 12, 5-32, (2001)
[4] Beziau, J.-Y.: From consequence operator to universal logic: a survey of general abstract logic. In: Logica Universalis: Towards a General Theory of Logic, pp. 3-17. Birkhäuser, Basel (2005) · Zbl 1082.03008
[5] Beziau, J-Y, 13 questions about universal logic, Bull. Sect. Logic, 35, 133-150, (2006) · Zbl 1133.03301
[6] Beziau, J-Y, What is a logic? towards axiomatic emptiness, Log. Investig., 16, 272-279, (2010) · Zbl 1213.03005
[7] Beziau, J-Y, Logic is not logic, Abstrata, 6, 73-102, (2010)
[8] Beziau, J.-Y.: The relativity and universality of logic. Synthese—Special Issue Istvan Németi 70th Birthday, vol. 192, pp. 1929-1954 (2015) · Zbl 1306.01023
[9] Beziau, J.-Y.: Is the principle of contradiction a consequence of \(x^{2}=x\)? Logica Universalis 12 (2018). https://doi.org/10.1007/s11787-018-0188-5 · Zbl 1408.03003
[10] Bhattacharjee, R., Chakraborty, M.K., Choudhury, L.: Venn diagram with names of individuals and their absence: a non-classical diagram logic. Logica Universalis 12 (2018). https://doi.org/10.1007/s11787-018-0186-7 · Zbl 1456.03056
[11] Birkhoff, G; Rota, G-C (ed.); Oliveira, JS (ed.), Universal algebra, 111-115, (1987), Basel
[12] Bourbaki, N.: L’architecture des mathématiques. In: Le Lionnais, F. (ed.) Les grands courants de la pensée mathématique, Cahiers du Sud, pp. 35-48 (1948). English Translation: The Architecture of Mathematics, The American Mathematical Monthly, vol. 57, pp. 221-232 (1950) · Zbl 0037.00209
[13] Chatti, S.: Arabic Logic from al-Farabi to Averroes. Birkhäuser, Basel (2018)
[14] Chentsov, A., Nikitchenko, M.: Composition-nominative logics as institutions. Logica Universalis 12 (2018). https://doi.org/10.1007/s11787-018-0191-x · Zbl 1456.03054
[15] Corcoran, J.: Aristotle’s prototype rule-based underlying logic. Logica Universalis 12 (2018). https://doi.org/10.1007/s11787-018-0189-4 · Zbl 1397.01005
[16] Costa, NCA; Beziau, J-Y; Bueno, OAS, Paraconsistent logic in a historical perspective, Logique et Analyse, 150-152, 111-125, (1995) · Zbl 0974.03029
[17] Diaconescu, R.: Institution-Independent Model Theory. Birkhäuser, Basel (2008) · Zbl 1144.03001
[18] Garrido, A., Wybraniec-Skardowska, U. (eds.): The Lvov-Warsaw School—Past and Present. Birkhäuser, Basel (2018) · Zbl 1403.01005
[19] Hodges, W.: Two early Arabic applications of model-theoretic consequence. Logica Universalis 12 (2018). https://doi.org/10.1007/s11787-018-0187-6 · Zbl 1395.01011
[20] Max, I.: A molecular logic of chords and their internal harmony. Logica Universalis 12 (2018). https://doi.org/10.1007/s11787-018-0193-8 · Zbl 1439.03069
[21] Mruczek-Nasieniewska, K., Nasieniewski, M.: A characterisation of some Z-like logics. Logica Universalis 12 (2018). https://doi.org/10.1007/s11787-018-0184-9 · Zbl 1287.03048
[22] Pasquali, F.: On a generalization of equilogical spaces. Logica Universalis 12 (2018). https://doi.org/10.1007/s11787-018-0192-9 · Zbl 1213.03005
[23] Petrukhin, Y.: Natural deduction for post’s logics and their duals. Logica Universalis 12 (2018). https://doi.org/10.1007/s11787-018-0190-y · Zbl 1456.03047
[24] Poizat, B., Yeshkeyev, A.: Positive Jonsson theories. Logica Universalis 12 (2018). https://doi.org/10.1007/s11787-018-0185-8 · Zbl 1456.03060
[25] Sylvester, JJ, Lectures on the principles of universal algebra, Am. J. Math., 6, 270-286, (1884) · JFM 16.0111.02 · doi:10.2307/2369224
[26] Tarski, A.: Logic, Semantics, Metamathematics, 2nd edition prestend by J. Corcoran. Hackett, Indianapolis (1983)
[27] Whitehead, A.N.: A Treatise on Universal Algebra. Cambridge University Press, Cambridge (1898) · JFM 29.0066.03
[28] Woleński, J.: Adolf Lindenbaum. Internet Encyclopedia of Philosophy. www.iep.utm.edu/lindenba (2018)
[29] Zygmunt, J; Purdy, R, Adolf lindenbaum: notes on his life with bibliography and selected references, Logica Universalis, 8, 285-320, (2014) · Zbl 1306.01023 · doi:10.1007/s11787-014-0108-2
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.