Logic and algebra : [International Conference on Logic and Algebra, held in Pontignano (Siena), April 26-30, 1994

A collection of papers based on presentations at a conference held in honor of the late Italian mathematician Roberto Magari, a leading force in the blossoming of research in mathematical logic and universal algebra in Italy since the 1960s. Attempting to unite the fields of mathematical logic and general algebra, 40 contributors provide coverage of topics such as SDL-trees and their abstractions, proof-nets, three-element groupoids, logic of proofs, Boolean universal algebra. Attempting to unite the fields of mathematical logic and general algebra, this unique reference 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 and universal algebra in Italy since the 1960s. Containing contributions from more than 40 internationally acclaimed experts in their respective fields, Logic and Algebra provides state-of-the-art coverage of a variety of topics such as SDL-trees and their abstractions... proof-nets... [lambda][beta]-calculus... three-element groupoids... logic of proofs... Boolean universal algebra... and more. Furnishing over 475 citations to key literature sources, Logic and Algebra is a valuable reference for mathematicians, mathematical logicians, algebraists, and graduate students in these disciplines

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.

studia Scientiarum Mathematicarum Hungarica

many Papers In This Volume Are Valuable Contributions To Mathematical Logic, Universal Algebra, And Category Theory, And The Volume Is Recommended To Researchers In These Fields.