| Description |
1 online resource (727 pages) |
| Series |
Lecture Notes in Pure and Applied Mathematics ; v. 180 |
|
Lecture notes in pure and applied mathematics.
|
| Contents |
Cover -- Half Title -- Title Page -- Copyright Page -- Dedication -- Preface -- Acknowledgements -- Table of Contents -- List of Participants -- Invited Papers -- Logic of Proofs with Complexity Operators -- Beyond the s-Semantics: A Theory of Observables -- The Logic of Commuting Equivalence Relations -- Proof-Nets: The Parallel Syntax for Proof-theory -- Magari and Others on GÃœdelâ#x80;#x99;s Ontological Proof -- Finitely Generated Magari Algebras and Arithmetic -- The Butterfly and the Serpent -- Adjoints in and Among Bicategories -- Exponential Algebra |
|
An Algebraic Version of Categorical Equivalence for Varieties and More General Algebraic CategoriesBoolean Universal Algebra -- Restructuring Mathematical Logic: An Approach Based on Peirceâ#x80;#x99;s Pragmatism -- The Development of Research in Algebra in Italy from 1850 to 1940 -- Contributed Papers -- A Criterion to Decide the Semantic Matching Problem -- Remarks on Magari Algebras of PA and IÎ#x94;0+EXP -- Undecidability in Weak Membership Theories -- Infinite λ-Calculus and Non-sensible Models -- A Computer Study of 3-Element Groupoids -- Ideal Properties in Congruences |
|
Dualisability in General and Endodualisability in ParticularHyperordinals and Nonstandard Î"-Models -- Some Notes on Subword Quantification and Induction Thereof -- Research in Automated Deduction as a Basis for a Probabilistic Proof-theory -- Idempotent Simple Algebras -- A Revision of the Mathematical Part of Magariâ#x80;#x99;s Paper on â#x80;#x9C;Introduction to Metamoralityâ#x80;#x9D; -- Some Aspects of the Categorical Semantics for the Polymorphic Î"-Calculus -- Reflection Using the Derivability Conditions -- Stone Bases, Alias the Constructive Content of Stone Representation |
|
On k-Permutability for Categories of T-AlgebrasWeak vs. Strong Boethiusâ#x80;#x99; Thesis: A Problem in the Analysis of Consequential Implication -- A New and Elementary Method to Represent Every Complete Boolean Algebra -- On Finite Intersections of Intermediate Predicate Logics |
| Notes |
Print version record |
| Subject |
Algebraic logic -- Congresses
|
|
Algebraic logic
|
| Genre/Form |
Conference papers and proceedings
|
| Form |
Electronic book
|
| Author |
Agliano, Paolo
|
| ISBN |
9781351434720 |
|
1351434721 |
|
