Logic and Algebra [Paperback]

Attempts to unite the fields of mathematical logic and general algebra. Presents a collection of refereed papers inspired by the International Conference on Logic and Algebra held in Siena, Italy, in honor of the late Italian mathematician Roberto Magari, a leading force in the blossoming of research in mathematical logic in Italy since the 1960s. Invited Papers Logic of Proofs with Complexity Operators, S. ArtEmov and A. Chuprina Beyond the s-Semantics: A Theory of Observables, M. Comini and G. Levi The Logic of Commuting Equivalence Relations, D. Finberg, M. Mainetti, and G.-C. Rota Proof-Nets: The Parallel Syntax for Proof-theory, J.-Y. Girard Magari and Others on GOdel's Ontological Proof, P. Hajek Finitely Generated Magari Algebras and Arithmetic, L. Hendriks and D. de Jongh The Butterfly and the Serpent, J. Lambek Adjoints in and Among Bicategories, F. William Lawvere Exponential Algebra, A. Macintyre Categorical Equivalences for Varieties, R. McKenzie Boolean Universal Algebra, A.F. Pixley Restructuring Mathematical Logic: An Approach Based on Peirce's Pragmatism, R. Wille The Development of Research in Algebra in Italy from 1850 to 1940, G. Zappa Contributed Papers A Criterion to Decide the Semantic Match Problem, G. Aguzzi and U. Modigliani Remarks on Magari Algebras of PA and IDelta0+EXP, L. Beklemishev Undecidability in Weak Membership Theories, D. BellE and F. Parlamento Infinite Lambda-Calculus and Non-sensible Models, A. Berarducci A Computer Study of 3-Element Groupoids, J. Bremen and S.N. Burris Ideal Properties of Congruencies, I. Chajda Dualisability in General and Endodualisability in Particular, B.A. Davey Hyperordinals and Nonstandard Alpha-Models, M. Di Nasso Some Notes on Subword Quantification and Induction Thereof, F. Ferreira Research in Automated Deduction as a Basis for a Probabilistic Proof-theory, P. Forcheri, P. Gentilini, and M.T. Molfino Idempotent Simple Algebras, K. Kearnes A Revision of the Mathematical Part of Magari's Paper on l“'