Logic and AlgebraAldo Ursini, Paulo Agliano CRC Press, 30 de maig 1996 - 728 pàgines "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." |
Continguts
Invited Papers | 1 |
A Theory of Observables 35 | 25 |
The Logic of Commuting Equivalence Relations 69 | 69 |
The Parallel Syntax for Prooftheory 97 47 | 97 |
Magari and Others on Gödels Ontological Proof 125 255 | 125 |
Finitely Generated Magari Algebras and Arithmetic 137 | 137 |
The Butterfly and the Serpent 151 | 151 |
J Lambek | 161 |
Infinite 2Calculus and Nonsensible Models | 339 |
A Computer Study of 3Element Groupoids | 379 |
Ideal Properties in Congruences 431 41 | 431 |
Hyperordinals and Nonstandard aModels | 457 |
Some Notes on Subword Quantification and Induction Thereof | 477 |
Research in Automated Deduction as a Basis for a Probabilistic Prooftheory | 491 |
Idempotent Simple Algebras | 529 |
A Revision of the Mathematical Part of Magaris Paper on Introduction | 573 |
Adjoints in and Among Bicategories | 181 |
Exponential Algebra | 191 |
An Algebraic Version of Categorical Equivalence for Varieties and More | 211 |
Boolean Universal Algebra | 245 |
An Approach Based on Peirces Pragmatism | 267 |
The Development of Research in Algebra in Italy from 1850 to 1940 | 283 |
Remarks on Magari Algebras of PA and IA+EXP | 317 |
Some Aspects of the Categorical Semantics for the Polymorphic XCalculus | 589 |
Reflection Using the Derivability Conditions | 603 |
Stone Bases Alias the Constructive Content of Stone Representation | 617 |
On kPermutability for Categories of TAlgebras | 637 |
A New and Elementary Method to Represent Every Complete Boolean Algebra | 655 |
A Completeness Theorem for Formal Topologies | 689 |
Altres edicions - Mostra-ho tot
Frases i termes més freqüents
a₁ abelian abstract affine complete arithmetical assume axiom b₁ bicategory Boolean algebras cartesian closed categories category equivalence clone coherence spaces complete variety computed conclusion condition congruence distributive congruence relations consider construction contains Corollary countable defined Definition denote depth distributive lattice dualises elements endodualisable epimorphisms equations equivalence relations example exists extended fact finite algebra formula function functor given groupoid hence homomorphism idempotent implies induction infinite interpretation isomorphic lambda calculus Lemma linear lattice Magari Math mathematical maximal modal morphism notion obtained occur operations P₁ polynomial predicate predicate logic prime filter problem proof-net Proposition provability logic provable prove quantale recursive reduction result rewrite system rule satisfying semantics semilattice sequence SF-class simple SLD-trees ẞ-reduction subalgebra subset Suppose t₁ Theorem theory top normal form unary Università Va(X variables variety virtual proof zero term
Passatges populars
Pàgina 635 - Intuitionistic Type Theory. Notes by Giovanni Sambin of a Series of Lectures given in Padua, June 1980, No. 1 in Studies in Proof Theory, Lecture Notes. Napoli: Bibliopolis. 81. Martin-L6f, P.: 1998, 'An Intuitionistic Theory of Types'.