Logic and algebra : [International Conference on Logic and Algebra, held in Pontignano (Siena), April 26-30, 1994] (Book, 1996) [WorldCat.org]
skip to content
Logic and algebra : [International Conference on Logic and Algebra, held in Pontignano (Siena), April 26-30, 1994] Preview this item
ClosePreview this item
Checking...

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

Author: Aldo Ursini; International Conference on Logic and Algebra (1994)
Publisher: New York : Dekker, 1996.
Edition/Format:   Print book : Conference publication : English
Summary:

Attempts to unite the fields of mathematical logic and general algebra. This title presents a collection of refereed papers inspired by the International Conference on Logic and Algebra held in  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Kongreß
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: Aldo Ursini; International Conference on Logic and Algebra (1994)
ISBN: 0824796063 9780824796068
OCLC Number: 243840744
Description: XV, 702 Seiten : Diagramme.
Contents: "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 ""Introduction to Metamorality"", R. Magari and G. Simi Some Aspects of the Categorical Semantics for the Polymorphic Lambda-Calculus, M.E. Maietti Reflection Using the Derivability Conditions, S. Matthews and A.K. Simpson Stone Bases, Alias the Constructive Content of Stone Representation, S. Negri On k-Permutability for Categories of T-Algebras, M.C. Pedicchio Weak vs. Strong Boethius' Thesis: A Problem in the Analysis of Consequential Implication, C. Pizzi A New and Elementary Method to Represent Every Complete Boolean Algebra, G. Sambin On Finite Intersections of Intermediate Predicate Logics, D. Skvortsov A Completeness Theorem for Formal Topologies, A. Valentini "
Responsibility: ed. by Aldo Ursini ...

Reviews

Editorial reviews

Publisher Synopsis

"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. "---Studia Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.