Atnaujinkite slapukų nuostatas

El. knyga: Logic and Algebra [Taylor & Francis e-book]

Edited by (Universita di Siena, Italy Universita di Siena, Italy Universita di Siena, Italy)
Kitos knygos pagal šią temą:
  • Taylor & Francis e-book
  • Kaina: 193,88 €*
  • * this price gives unlimited concurrent access for unlimited time
  • Standartinė kaina: 276,97 €
  • Sutaupote 30%
Logic and AlgebraDidesnis paveikslėlis
Kitos knygos pagal šią temą:
Taylor & Francis e-booksMore info about Taylor & Francis e-books
Partnerių interneto svetainė: https://www.taylorfrancis.com/books/9780203748671
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. Annotation c. by Book News, Inc., Portland, Or.

"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."
Preface v(2) Acknowledgments vii(6) List of Participants xiii Invited Papers 1(292) Logic of Proofs with Complexity Operators 1(24) S. Artemov A. Chuprina Beyond the s-Semantics: A Theory of Observables 25(44) M. Comini G. Levi The Logic of Commuting Equivalence Relations 69(28) D. Finberg M. Mainetti G.-C. Rota Proof-Nets: The Parallel Syntax for Proof-theory 97(28) J.-Y. Girard Magari and Others on Godels Ontological Proof 125(12) P. Hajek Finitely Generated Magari Algebras and Arithmetic 137(24) L. Hendriks D. de Jongh The Butterfly and the Serpent 161(20) J. Lambek Adjoints in and Among Bicategories 181(10) F. William Lawvere Exponential Algebra 191(20) A. Macintyre An Algebraic Version of Categorical Equivalence for Varieties and More General Algebraic Categories 211(34) R. McKenzie Boolean Universal Algebra 245(22) A. F. Pixley Restructuring Mathematical Logic: An Approach Based on Peirces Pragmatism 267(16) R. Wille The Development of Research in Algebra in Italy from 1850 to 1940 283(10) G. Zappa Contributed Papers 293 A Criterion to Decide the Semantic Matching Problem 293(24) G. Aguzzi U. Modigliani Remarks on Magari Algebras of PA and I 0 + EXP 317(10) L. Beklemishev Undecidability in Weak Membership Theories 327(12) D. Belle F. Parlamento Infinite -Calculus and Non-sensible Models 339(40) A. Berarducci A Computer Study of 3-Element Groupoids 379(52) J. Berman S. N. Burris Ideal Properties in Congruences 431(6) I. Chajda Dualisability in General and Endodualisability in Particular 437(20) B. A. Davey Hyperordinals and Nonstandard a-Models 457(20) M. Di Nasso Some Notes on Subword Quantification and Induction Thereof 477(14) F. Ferreira Research in Automated Deduction as a Basis for a Probabilistic Proof-theory 491(38) P. Forcheri P. Gentilini M. T. Molfino Idempotent Simple Algebras 529(44) K. Kearnes A Revision of the Mathematical Part of Margaris Paper on Introduction to Metamorality 573(16) R. Magari G. Simi Some Aspects of the Categorical Semantics for the Polymorphic -Calculus 589(14) M. E. Maietti Reflection Using the Derivability Conditions 603(14) S. Matthews A. K. Simpson Stone Bases, Alias the Constructive Content of Stone Representation 617(20) S. Negri On k-Permutability for Categories of T-Algebras 637(10) M. C. Pedicchio Weak vs. Strong Boethius Thesis: A Problem in the Analysis of Consequential Implication 647(8) C. Pizzi A New and Elementary Method to Represent Every Complete Boolean Algebra 655(12) G. Sambin On Finite Intersections of Intermediate Predicate Logics 667(22) D. Skvortsov A Completeness Theorem for Formal Topologies 689 S. Valentini
Aldo Ursini
Pastovi nuoroda: https://www.kriso.lt/db/9780203748671_pe.html
Raktažodžiai: