Duality for first order logic
|
|
- Edgar Haynes
- 5 years ago
- Views:
Transcription
1 Duality for first order logic Dion Coumans Radboud University Nijmegen Aio-colloquium, June 2010
2 Outline 1 Introduction to logic and duality theory 2 Algebraic semantics for classical first order logic: Boolean hyperdoctrines 3 Dual notion of Boolean hyperdoctrines: Indexed Stone spaces 4 Duality for classical first order logic 5 Future work
3 Logic We doing logic we analyse mathematical reasoning Classical Propositional Logic (CPL) Propositional variables: p 0, p 1,... Build formulas using connectives:,,,, : p 0 p 1, p 0 (p 1 p 2 ), p 0,... Reasoning rules: DER φ ψ φ DER1 DER2 φ ψ φ ψ DER φ φ ψ Notation: φ ψ says ψ is derivable from φ.
4 Logic Questions Which formulas are derivable? Is it decidable wether a formula is derivable? Does the logic have the interpolation property, that is, for all formulas φ(p, q) and ψ(p, r) with φ(p, q) ψ(p, r), there exists a formula θ(p) s.t. φ(p, q) θ(p) and θ(p) ψ(p, r).
5 Algebraizing logic Relate a logic to a class of algebras: Logic Class of algebras
6 Algebraizing logic Relate a logic to a class of algebras: CPL Boolean algebras
7 Algebraizing logic Relate a logic to a class of algebras: CPL Boolean algebras A Boolean algebra is a structure A = (A,,,, 0, 1) s.t. a (b c) = (a b) c a b = b a a (a b) = a a (b c) = (a b) (a c) a a = 1 a (b c) = (a b) c a b = b a a (a b) = a a (b c) = (a b) (a c) a a = 0
8 Algebraizing logic Relate a logic to a class of algebras: CPL Boolean algebras A Boolean algebra is a structure A = (A,,,, 0, 1) s.t. a (b c) = (a b) c a b = b a a (a b) = a a (b c) = (a b) (a c) a a = 1 a (b c) = (a b) c a b = b a a (a b) = a a (b c) = (a b) (a c) a a = 0 Example: (P(X),,, () c,, X)
9 Algebraizing logic Relate a logic to a class of algebras: CPL Boolean algebras Start from a set of propositional variables P. Consider F m(p ) and define: φ ψ φ ψ and ψ φ (F m(p )/,,,, [ ], [ ]) is a Boolean algebra, where [φ] [ψ] = [φ ψ] [φ] [ψ] = [φ ψ] [φ] = [ φ] We call this the Lindenbaum algebra.
10 Algebraizing logic Interpreting a logic in a Boolean algebra: Every map f : P A (valuation) extends to a unique homomorphism f : F m(p ) A. We say φ is valid in A if, for every valuation f, f(φ) = 1. Notation: A = φ.
11 Algebraizing logic Interpreting a logic in a Boolean algebra: Every map f : P A (valuation) extends to a unique homomorphism f : F m(p ) A. We say φ is valid in A if, for every valuation f, f(φ) = 1. Notation: A = φ. Soundness and completeness theorem: For every formula φ, CP L φ = BA φ
12 Duality in logic Logic Class of algebras
13 Duality in logic Logic Class of algebras Class of dual structures
14 Duality in logic CPL Boolean algebras
15 Duality in logic CPL Boolean algebras Stone spaces
16 Duality in logic CPL Boolean algebras Stone spaces B (Uf(B), τ B ) Cl(X) X
17 Duality in logic CPL Boolean algebras Stone spaces B h C Uf(C) h 1 Uf(B) Cl(Y ) f 1 Cl(X) X f Y
18 Duality in logic CPL over a set of variables X Lindenbaum algebra of formulas over X Maps X 2 valuations
19 Duality for first order logic Classical first order logic??
20 Duality for first order logic Classical first order logic Boolean hyperdoctrines? 1 What are Boolean hyperdoctrines?
21 Duality for first order logic Classical first order logic Boolean hyperdoctrines Indexed Stone spaces 1 What are Boolean hyperdoctrines? 2 Identify the dual notion of a Boolean hyperdoctrine.
22 Algebraic semantics for first order logic We start from Signature: Σ = (f 0,..., f k 1, R 0,..., R l 1, c 0,..., c m 1 ) Set of variables: X = {x 0, x 1,...} Build terms from the variables using function symbols and constants: x 1, f 0 (x 0 ), f 2 (f 1 (x 0, f 3 (c 1 ))),... Build formulas from the terms using,,,,,, and relation symbols: R 0 (x 0 ), R 0 (x 1 ) R 1 (x 0, c 0 ), x1 R 1 (f 0 (x 0 ), x 1 ),...
23 Algebraic semantics for first order logic We start from Signature: Σ = (f 0,..., f k 1, R 0,..., R l 1, c 0,..., c m 1 ) Set of variables: X = {x 0, x 1,...} Question: What properties does the collection of all formulas over Σ have?
24 Algebraic semantics for first order logic We start from Signature: Σ = (f 0,..., f k 1, R 0,..., R l 1, c 0,..., c m 1 ) Set of variables: X = {x 0, x 1,...} Question: What properties does the collection of all formulas over Σ have? First observation: For each n N, (F m(x 0,..., x n 1 ), ) is a Boolean algebra.
25 Algebraic semantics for first order logic [] [x 0 ] [x 0, x 1 ]...
26 Algebraic semantics for first order logic c φ(c) φ(x 0 ) [] [x 0 ] [x 0, x 1 ]... Substitutions: x 0 c φ(x 0 ) φ(c)
27 Algebraic semantics for first order logic c φ(c) φ(x 0 ) [] [x 0 ] [x 0, x 1 ]... Substitutions: x 0 c φ(x 0 ) φ(c)
28 Algebraic semantics for first order logic Contexts and substitutions form a category B: Objects: natural numbers (contexts) Morphism n m: m-tuple t 0,..., t m 1 s.t. F V (t i ) {x 0,..., x n 1 } x 0 [] c [x 0 ] x 0, f(x 0 ) [x 0, x 1 ]... c, f(c)
29 Algebraic semantics for first order logic Contexts and substitutions form a category B: Objects: natural numbers (contexts) Morphism n m: m-tuple t 0,..., t m 1 s.t. F V (t i ) {x 0,..., x n 1 } This category has finite products: x 0, x 1 [x 0, x 1 ] [x 0, x 1, x 2 ] x 2 [x 0 ]
30 Algebraic semantics for first order logic Contexts and substitutions form a category B: Objects: natural numbers (contexts) Morphism n m: m-tuple t 0,..., t m 1 s.t. F V (t i ) {x 0,..., x n 1 } This category has finite products: x 0, x 1 x 2 [x 0, x 1 ] [x 0, x 1, x 2 ] [x 0 ] t 0, t 1, s 0 t 0, t 1 s 0 [...]
31 Algebraic semantics for first order logic Formulas and substitutions: functor B op BA n F m(x 0,..., x n 1 ) n t 0,...,t m 1 m F m(x 0,..., x m 1 ) F m(x 0,..., x n 1 ) φ(x 0,..., x m 1 ) φ(t 0,..., t m 1 ) φ(c, f(c)) φ(x0, f(x0)) φ(x0, x1) [] c [x 0 ] x 0, f(x 0) [x 0, x 1 ]... c, f(c)
32 Algebraic semantics for first order logic Existential quantification: related to the inclusion map i φ(x 0 ) x1 ψ(x 0, x 1 ) x 0 [x 0 ] [x 0, x 1 ]
33 Algebraic semantics for first order logic Existential quantification: related to the inclusion map i φ(x 0 ) x1 ψ(x 0, x 1 ) x 0 [x 0 ] [x 0, x 1 ] x1 (ψ(x 0, x 1 )) x0 φ(x 0 ) ψ(x 0, x 1 ) x0,x 1 i(φ(x 0 ))
34 Algebraic semantics for first order logic Existential quantification: related to the inclusion map i φ(x 0 ) x1 ψ(x 0, x 1 ) x 0 [x 0 ] [x 0, x 1 ] x1 (ψ(x 0, x 1 )) x0 φ(x 0 ) ψ(x 0, x 1 ) x0,x 1 i(φ(x 0 ))
35 Algebraic semantics for first order logic Quantification: interaction with substitutions f(x 0 ) x1 ψ(x 0, x 1 ) f(x 0 ), x 1 [x 0 ] [x 0, x 1 ] x1 (ψ(x 0, x 1 ))[f(x 0 )/x 0 ] = x1 (ψ(f(x 0 ), x 1 )) (Beck-Chevalley)
36 Algebraic semantics for first order logic A Boolean hyperdoctrine is a functor F : B op BA s.t. 1 B is a category with finite products; 2 for all I, J B, F(π I,J ): F(I) F(I J) has a left adjoint I,J such that, for all I u K in B, F(K J) K,J F(K) F(u id) F(I J) I,J F(I) F(u) commutes.
37 Algebraic semantics for first order logic Examples of Boolean hyperdoctrines: Syntactic hyperdoctrine B = contexts and substitutions F : B op BA n F m(x 0,..., x n 1 ) Subset hyperdoctrine B = Set P : B op BA A powerset of A
38 Duality for first order logic B I BA F(I) Uf Cl Stone spaces Uf(F(I)) u J F(u) F(J) F(u) 1 Uf(F(J))
39 Duality for first order logic B I BA F(I) Uf Cl Stone spaces Uf(F(I)) u J F(u) F(J) F(u) 1 Uf(F(J)) This gives us a dual equivalence between: Functors F : B op BA F Cl G Functors G : B StSp Uf F G
40 Duality for first order logic F : B op BA G : B StSp F(π I,J ) has a left adjoint I,J for all I u K, F(K J) F(u id) F(I J) commutes. K,J I,J F(K) F(I) F(u)
41 Duality for first order logic F : B op BA F(π I,J ) has a left adjoint I,J G : B StSp G(π I,J ) is an open map for all I u K, F(K J) F(u id) F(I J) commutes. K,J I,J F(K) F(I) F(u)
42 Duality for first order logic F : B op BA F(π I,J ) has a left adjoint I,J for all I u K, G : B StSp G(π I,J ) is an open map for all I u K, F(K J) K,J F(K) z G(I J) G(π I,J ) G(I) y F(u id) F(I J) I,J F(I) F(u) G(u id) x G(K J) G(π K,J ) G(u) G(K) commutes. G(u)(x) = G(π K,J )(y) implies there exists z G(I J) s.t. G(π I,J )(z) = x G(u id)(z) = y.
43 Duality for first order logic Boolean hyperdoctrines Functors F : B op BA s.t. 1 B has finite products; 2 F(π I,J ) has a left adjoint I,J and for all I u K, Indexed Stone spaces Functors G : B StSp s.t. 1 B has finite products; 2 G(π I,J ) is an open map and for all I u K, F(K J) K,J F(K) G(I J) G(π K,J ) G(I) F(u id) F(I J) I,J F(I) F(u) G(u id) G(K J) G(π I,J ) G(u) G(K) commutes. is epicartesian.
44 Duality for first order logic Duality theorem for classical first order logic: The category of Boolean hyperdoctrines and the category of indexed Stone spaces are dually equivalent. Boolean hyperdoctrines F Cl G Indexed Stone spaces Uf F G
45 Future work Having a duality for classical first order logic we would like to: 1 Describe dual structures for non-classical first order logics. 2 Obtain information about these first order logics via studying their dual structures. 3 In particular: study the interpolation property dually.
Canonical extension of coherent categories
Canonical extension of coherent categories Dion Coumans Radboud University Nijmegen Topology, Algebra and Categories in Logic (TACL) Marseilles, July 2011 1 / 33 Outline 1 Canonical extension of distributive
More informationBasic Algebraic Logic
ELTE 2013. September Today Past 1 Universal Algebra 1 Algebra 2 Transforming Algebras... Past 1 Homomorphism 2 Subalgebras 3 Direct products 3 Varieties 1 Algebraic Model Theory 1 Term Algebras 2 Meanings
More informationRelational semantics for a fragment of linear logic
Relational semantics for a fragment of linear logic Dion Coumans March 4, 2011 Abstract Relational semantics, given by Kripke frames, play an essential role in the study of modal and intuitionistic logic.
More informationA fresh perspective on canonical extensions for bounded lattices
A fresh perspective on canonical extensions for bounded lattices Mathematical Institute, University of Oxford Department of Mathematics, Matej Bel University Second International Conference on Order, Algebra
More informationUniversity of Oxford, Michaelis November 16, Categorical Semantics and Topos Theory Homotopy type theor
Categorical Semantics and Topos Theory Homotopy type theory Seminar University of Oxford, Michaelis 2011 November 16, 2011 References Johnstone, P.T.: Sketches of an Elephant. A Topos-Theory Compendium.
More informationConstructing the Lindenbaum algebra for a logic step-by-step using duality (extended version)
Constructing the Lindenbaum algebra for a logic step-by-step using duality (extended version) Dion Coumans and Sam van Gool Abstract We discuss the incremental construction of the Lindenbaum algebra for
More informationThe Many Faces of Modal Logic Day 3: Algebraic Semantics
The Many Faces of Modal Logic Day 3: Algebraic Semantics Dirk Pattinson Australian National University, Canberra (Slides based on a NASSLLI 2014 Tutorial and are joint work with Lutz Schröder) LAC 2018
More informationSPECTRAL-LIKE DUALITY FOR DISTRIBUTIVE HILBERT ALGEBRAS WITH INFIMUM
SPECTRAL-LIKE DUALITY FOR DISTRIBUTIVE HILBERT ALGEBRAS WITH INFIMUM SERGIO A. CELANI AND MARÍA ESTEBAN Abstract. Distributive Hilbert Algebras with infimum, or DH -algebras, are algebras with implication
More informationLecture 2: Syntax. January 24, 2018
Lecture 2: Syntax January 24, 2018 We now review the basic definitions of first-order logic in more detail. Recall that a language consists of a collection of symbols {P i }, each of which has some specified
More informationBoolean Algebras, Boolean Rings and Stone s Representation Theorem
Boolean Algebras, Boolean Rings and Stone s Representation Theorem Hongtaek Jung December 27, 2017 Abstract This is a part of a supplementary note for a Logic and Set Theory course. The main goal is to
More informationA Taste of Categorical Logic Tutorial Notes
A Taste of Categorical Logic Tutorial Notes Lars Birkedal birkedal@cs.au.dk) Aleš Bizjak abizjak@cs.au.dk) October 12, 2014 Contents 1 Introduction 2 2 Higher-order predicate logic 2 3 A first set-theoretic
More informationPriestley Duality for Bilattices
A. Jung U. Rivieccio Priestley Duality for Bilattices In memoriam Leo Esakia Abstract. We develop a Priestley-style duality theory for different classes of algebras having a bilattice reduct. A similar
More information03 Review of First-Order Logic
CAS 734 Winter 2014 03 Review of First-Order Logic William M. Farmer Department of Computing and Software McMaster University 18 January 2014 What is First-Order Logic? First-order logic is the study of
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
More informationA topological duality for posets
A topological duality for posets RAMON JANSANA Universitat de Barcelona join work with Luciano González TACL 2015 Ischia, June 26, 2015. R. Jansana 1 / 20 Introduction In 2014 M. A. Moshier and P. Jipsen
More informationFull Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics
Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics Yoshihiro Maruyama Quantum Group, Dept. of Computer Science, University of Oxford http://researchmap.jp/ymaruyama Abstract.
More informationTopos Theory. Lectures 17-20: The interpretation of logic in categories. Olivia Caramello. Topos Theory. Olivia Caramello.
logic s Lectures 17-20: logic in 2 / 40 logic s Interpreting first-order logic in In Logic, first-order s are a wide class of formal s used for talking about structures of any kind (where the restriction
More informationBoolean Algebra and Propositional Logic
Boolean Algebra and Propositional Logic Takahiro Kato June 23, 2015 This article provides yet another characterization of Boolean algebras and, using this characterization, establishes a more direct connection
More informationRepresentable presheaves
Representable presheaves March 15, 2017 A presheaf on a category C is a contravariant functor F on C. In particular, for any object X Ob(C) we have the presheaf (of sets) represented by X, that is Hom
More informationObtaining the syntactic monoid via duality
Radboud University Nijmegen MLNL Groningen May 19th, 2011 Formal languages An alphabet is a non-empty finite set of symbols. If Σ is an alphabet, then Σ denotes the set of all words over Σ. The set Σ forms
More informationBoolean Algebra and Propositional Logic
Boolean Algebra and Propositional Logic Takahiro Kato September 10, 2015 ABSTRACT. This article provides yet another characterization of Boolean algebras and, using this characterization, establishes a
More informationDistributive Lattices with Quantifier: Topological Representation
Chapter 8 Distributive Lattices with Quantifier: Topological Representation Nick Bezhanishvili Department of Foundations of Mathematics, Tbilisi State University E-mail: nickbezhanishvilli@netscape.net
More informationComputing Spectra via Dualities in the MTL hierarchy
Computing Spectra via Dualities in the MTL hierarchy Diego Valota Department of Computer Science University of Milan valota@di.unimi.it 11th ANNUAL CECAT WORKSHOP IN POINTFREE MATHEMATICS Overview Spectra
More informationA VIEW OF CANONICAL EXTENSION
A VIEW OF CANONICAL EXTENSION MAI GEHRKE AND JACOB VOSMAER Abstract. This is a short survey illustrating some of the essential aspects of the theory of canonical extensions. In addition some topological
More informationResearch Note. A Stone-Type Duality Theorem for Separation Logic via its Underlying Bunched Logics
UCL DEPARTMENT OF COMPUTER SCIENCE Research Note RN/17/06 A Stone-Type Duality Theorem for Separation Logic via its Underlying 12 June, 2017 Simon Docherty David Pym Abstract. Stone-type duality theorems,
More informationAdjunctions! Everywhere!
Adjunctions! Everywhere! Carnegie Mellon University Thursday 19 th September 2013 Clive Newstead Abstract What do free groups, existential quantifiers and Stone-Čech compactifications all have in common?
More informationA Taste of Categorical Logic Tutorial Notes
A Taste of Categorical Logic Tutorial Notes Lars Birkedal (birkedal@cs.au.dk) Aleš Bizjak (abizjak@cs.au.dk) July 10, 2017 Contents 1 Introduction 2 2 Higher-order predicate logic 2 3 A first set-theoretic
More informationA categorical structure of realizers for the Minimalist Foundation
A categorical structure of realizers for the Minimalist Foundation S.Maschio (joint work with M.E.Maietti) Department of Mathematics University of Padua TACL 2015 Ischia The Minimalist Foundation Many
More information1 FUNDAMENTALS OF LOGIC NO.10 HERBRAND THEOREM Tatsuya Hagino hagino@sfc.keio.ac.jp lecture URL https://vu5.sfc.keio.ac.jp/slide/ 2 So Far Propositional Logic Logical connectives (,,, ) Truth table Tautology
More informationElements of Category Theory
Elements of Category Theory Robin Cockett Department of Computer Science University of Calgary Alberta, Canada robin@cpsc.ucalgary.ca Estonia, Feb. 2010 Functors and natural transformations Adjoints and
More informationType Classification of Unification Problems over Distributive Lattices and De Morgan Algebras
Type Classification of Unification Problems over Distributive Lattices and De Morgan Algebras Simone Bova Vanderbilt University (Nashville TN, USA) joint work with Leonardo Cabrer AMS Western Section Meeting
More informationNotes about Filters. Samuel Mimram. December 6, 2012
Notes about Filters Samuel Mimram December 6, 2012 1 Filters and ultrafilters Definition 1. A filter F on a poset (L, ) is a subset of L which is upwardclosed and downward-directed (= is a filter-base):
More informationCATEGORY THEORY. Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths.
CATEGORY THEORY PROFESSOR PETER JOHNSTONE Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths. Definition 1.1. A category C consists
More informationLecture 1: Overview. January 24, 2018
Lecture 1: Overview January 24, 2018 We begin with a very quick review of first-order logic (we will give a more leisurely review in the next lecture). Recall that a linearly ordered set is a set X equipped
More informationACLT: Algebra, Categories, Logic in Topology - Grothendieck's generalized topological spaces (toposes)
ACLT: Algebra, Categories, Logic in Topology - Grothendieck's generalized topological spaces (toposes) Steve Vickers CS Theory Group Birmingham 2. Theories and models Categorical approach to many-sorted
More informationOn a Categorical Framework for Coalgebraic Modal Logic
On a Categorical Framework for Coalgebraic Modal Logic Liang-Ting Chen 1 Achim Jung 2 1 Institute of Information Science, Academia Sinica 2 School of Computer Science, University of Birmingham MFPS XXX
More informationSequential product on effect logics
Sequential product on effect logics Bas Westerbaan bas@westerbaan.name Thesis for the Master s Examination Mathematics at the Radboud University Nijmegen, supervised by prof. dr. B.P.F. Jacobs with second
More informationTopos Theory. Lectures 21 and 22: Classifying toposes. Olivia Caramello. Topos Theory. Olivia Caramello. The notion of classifying topos
Lectures 21 and 22: toposes of 2 / 30 Toposes as mathematical universes of Recall that every Grothendieck topos E is an elementary topos. Thus, given the fact that arbitrary colimits exist in E, we can
More informationAn adjoint construction for topological models of intuitionistic modal logic Extended abstract
An adjoint construction for topological models of intuitionistic modal logic Extended abstract M.J. Collinson, B.P. Hilken, D.E. Rydeheard April 2003 The purpose of this paper is to investigate topological
More information1. The Method of Coalgebra
1. The Method of Coalgebra Jan Rutten CWI Amsterdam & Radboud University Nijmegen IMS, Singapore - 15 September 2016 Overview of Lecture one 1. Category theory (where coalgebra comes from) 2. Algebras
More informationwhich is a group homomorphism, such that if W V U, then
4. Sheaves Definition 4.1. Let X be a topological space. A presheaf of groups F on X is a a function which assigns to every open set U X a group F(U) and to every inclusion V U a restriction map, ρ UV
More informationDirect Limits. Mathematics 683, Fall 2013
Direct Limits Mathematics 683, Fall 2013 In this note we define direct limits and prove their basic properties. This notion is important in various places in algebra. In particular, in algebraic geometry
More informationMATH 101A: ALGEBRA I PART C: TENSOR PRODUCT AND MULTILINEAR ALGEBRA. This is the title page for the notes on tensor products and multilinear algebra.
MATH 101A: ALGEBRA I PART C: TENSOR PRODUCT AND MULTILINEAR ALGEBRA This is the title page for the notes on tensor products and multilinear algebra. Contents 1. Bilinear forms and quadratic forms 1 1.1.
More informationUsing topological systems to create a framework for institutions
Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 1/34 Using topological systems to create a framework for institutions Jeffrey T. Denniston
More informationarxiv: v1 [math.lo] 10 Sep 2013
STONE DUALITY, TOPOLOGICAL ALGEBRA, AND RECOGNITION arxiv:1309.2422v1 [math.lo] 10 Sep 2013 MAI GEHRKE Abstract. Our main result is that any topological algebra based on a Boolean space is the extended
More informationCHEVALLEY S THEOREM AND COMPLETE VARIETIES
CHEVALLEY S THEOREM AND COMPLETE VARIETIES BRIAN OSSERMAN In this note, we introduce the concept which plays the role of compactness for varieties completeness. We prove that completeness can be characterized
More informationCOHOMOLOGY AND DIFFERENTIAL SCHEMES. 1. Schemes
COHOMOLOG AND DIFFERENTIAL SCHEMES RAMOND HOOBLER Dedicated to the memory of Jerrold Kovacic Abstract. Replace this text with your own abstract. 1. Schemes This section assembles basic results on schemes
More informationQuantum Logic in Dagger Kernel Categories
Quantum Logic in Dagger Kernel Categories Chris Heunen Bart Jacobs December 4, 2009 Abstract This paper investigates quantum logic from the perspective of categorical logic, and starts from minimal assumptions,
More informationA Discrete Duality Between Nonmonotonic Consequence Relations and Convex Geometries
A Discrete Duality Between Nonmonotonic Consequence Relations and Convex Geometries Johannes Marti and Riccardo Pinosio Draft from April 5, 2018 Abstract In this paper we present a duality between nonmonotonic
More informationMIXING MODAL AND SUFFICIENCY OPERATORS
Bulletin of the Section of Logic Volume 28/2 (1999), pp. 99 107 Ivo Düntsch Ewa Or lowska MIXING MODAL AND SUFFICIENCY OPERATORS Abstract We explore Boolean algebras with sufficiency operators, and investigate
More informationThe applications of the universal morphisms of LF-TOP the category of all fuzzy topological spaces
The applications of the universal morphisms of LF-TOP the category of all fuzzy topological spaces ABDELKRIM LATRECHE 20 Aout 1955 University Sciences Faculty Department of Mathematics Skikda, ALGERIAlgeria
More informationDuality and Automata Theory
Duality and Automata Theory Mai Gehrke Université Paris VII and CNRS Joint work with Serge Grigorieff and Jean-Éric Pin Elements of automata theory A finite automaton a 1 2 b b a 3 a, b The states are
More informationModel theory, algebraic dynamics and local fields
Model theory, algebraic dynamics and local fields Thomas Scanlon University of California, Berkeley 7 June 2010 Thomas Scanlon (University of California, Berkeley) Model theory, algebraic dynamics and
More informationSkew Boolean algebras
Skew Boolean algebras Ganna Kudryavtseva University of Ljubljana Faculty of Civil and Geodetic Engineering IMFM, Ljubljana IJS, Ljubljana New directions in inverse semigroups Ottawa, June 2016 Plan of
More informationPropositional and Predicate Logic - VII
Propositional and Predicate Logic - VII Petr Gregor KTIML MFF UK WS 2015/2016 Petr Gregor (KTIML MFF UK) Propositional and Predicate Logic - VII WS 2015/2016 1 / 11 Theory Validity in a theory A theory
More informationON SOME BASIC CONSTRUCTIONS IN CATEGORIES OF QUANTALE-VALUED SUP-LATTICES. 1. Introduction
Math. Appl. 5 (2016, 39 53 DOI: 10.13164/ma.2016.04 ON SOME BASIC CONSTRUCTIONS IN CATEGORIES OF QUANTALE-VALUED SUP-LATTICES RADEK ŠLESINGER Abstract. If the standard concepts of partial-order relation
More informationAxioms for Set Theory
Axioms for Set Theory The following is a subset of the Zermelo-Fraenkel axioms for set theory. In this setting, all objects are sets which are denoted by letters, e.g. x, y, X, Y. Equality is logical identity:
More informationFormal Methods for Java
Formal Methods for Java Lecture 12: Soundness of Sequent Calculus Jochen Hoenicke Software Engineering Albert-Ludwigs-University Freiburg June 12, 2017 Jochen Hoenicke (Software Engineering) Formal Methods
More informationIntermediate Model Theory
Intermediate Model Theory (Notes by Josephine de la Rue and Marco Ferreira) 1 Monday 12th December 2005 1.1 Ultraproducts Let L be a first order predicate language. Then M =< M, c M, f M, R M >, an L-structure
More informationOrder Sorted Algebra. Japan Advanced Institute of Science and Technology. March 8, 2008
Order Sorted Algebra Daniel Găină Japan Advanced Institute of Science and Technology March 8, 2008 Introduction There are many examples where all items of one sort are necessarily also items of some other
More informationVietoris bisimulations
Vietoris bisimulations N. Bezhanishvili, G. Fontaine and Y. Venema July 17, 2008 Abstract Building on the fact that descriptive frames are coalgebras for the Vietoris functor on the category of Stone spaces,
More informationarxiv: v2 [math.lo] 25 Jul 2017
Luca Carai and Silvio Ghilardi arxiv:1702.08352v2 [math.lo] 25 Jul 2017 Università degli Studi di Milano, Milano, Italy luca.carai@studenti.unimi.it silvio.ghilardi@unimi.it July 26, 2017 Abstract The
More informationDistributive lattice-structured ontologies
Distributive lattice-structured ontologies Hans Bruun 1 Dion Coumans 2 Mai Gerhke 2 1 Technical University of Denmark, Denmark 2 Radboud University Nijmegen, The Netherlands CALCO, september 2009 Introduction
More informationCHAPTER 2. FIRST ORDER LOGIC
CHAPTER 2. FIRST ORDER LOGIC 1. Introduction First order logic is a much richer system than sentential logic. Its interpretations include the usual structures of mathematics, and its sentences enable us
More informationA duality-theoretic approach to MTL-algebras
A duality-theoretic approach to MTL-algebras Sara Ugolini (Joint work with W. Fussner) BLAST 2018 - Denver, August 6th 2018 A commutative, integral residuated lattice, or CIRL, is a structure A = (A,,,,,
More informationMachines, Models, Monoids, and Modal logic
Machines, Models, Monoids, and Modal logic Sam van Gool University of Amsterdam and City College of New York September 2017 Tbilisi Symposium on Language, Logic and Computation Lagodekhi, Georgia v. Gool
More informationDuality in Logic. Duality in Logic. Lecture 2. Mai Gehrke. Université Paris 7 and CNRS. {ε} A ((ab) (ba) ) (ab) + (ba) +
Lecture 2 Mai Gehrke Université Paris 7 and CNRS A {ε} A ((ab) (ba) ) (ab) + (ba) + Further examples - revisited 1. Completeness of modal logic with respect to Kripke semantics was obtained via duality
More information1 Categories, Functors, and Natural Transformations. Discrete categories. A category is discrete when every arrow is an identity.
MacLane: Categories or Working Mathematician 1 Categories, Functors, and Natural Transormations 1.1 Axioms or Categories 1.2 Categories Discrete categories. A category is discrete when every arrow is an
More informationCategory theory for computer science. Overall idea
Category theory for computer science generality abstraction convenience constructiveness Overall idea look at all objects exclusively through relationships between them capture relationships between objects
More informationThe Category of Theories
The Category of Theories Hans Halvorson November 3, 2017 Contents 1 Basics 1 2 Boolean algebras 6 3 Equivalent categories 10 4 Propositional theories are Boolean algebras 12 5 Boolean algebras again 20
More informationAn introduction to Yoneda structures
An introduction to Yoneda structures Paul-André Melliès CNRS, Université Paris Denis Diderot Groupe de travail Catégories supérieures, polygraphes et homotopie Paris 21 May 2010 1 Bibliography Ross Street
More informationThe Countable Henkin Principle
The Countable Henkin Principle Robert Goldblatt Abstract. This is a revised and extended version of an article which encapsulates a key aspect of the Henkin method in a general result about the existence
More informationMV-algebras and fuzzy topologies: Stone duality extended
MV-algebras and fuzzy topologies: Stone duality extended Dipartimento di Matematica Università di Salerno, Italy Algebra and Coalgebra meet Proof Theory Universität Bern April 27 29, 2011 Outline 1 MV-algebras
More informationLogics for Compact Hausdorff Spaces via de Vries Duality
Logics for Compact Hausdorff Spaces via de Vries Duality Thomas Santoli ILLC, Universiteit van Amsterdam June 16, 2016 Outline Main goal: developing a propositional calculus for compact Hausdorff spaces
More informationA categorical model for a quantum circuit description language
A categorical model for a quantum circuit description language Francisco Rios (joint work with Peter Selinger) Department of Mathematics and Statistics Dalhousie University CT July 16th 22th, 2017 What
More informationCoreflections in Algebraic Quantum Logic
Coreflections in Algebraic Quantum Logic Bart Jacobs Jorik Mandemaker Radboud University, Nijmegen, The Netherlands Abstract Various generalizations of Boolean algebras are being studied in algebraic quantum
More informationA simple propositional calculus for compact Hausdor spaces
A simple propositional calculus for compact Hausdor spaces G. Bezhanishvili N. Bezhanishvili T. Santoli Y. Venema Abstract We introduce a simple propositional calculus for compact Hausdor spaces. Our approach
More informationBisimulation for Neighbourhood Structures
Bisimulation for Neighbourhood Structures Helle Hvid Hansen 1,2 Clemens Kupke 2 Eric Pacuit 3 1 Vrije Universiteit Amsterdam (VUA) 2 Centrum voor Wiskunde en Informatica (CWI) 3 Universiteit van Amsterdam
More information9 Direct products, direct sums, and free abelian groups
9 Direct products, direct sums, and free abelian groups 9.1 Definition. A direct product of a family of groups {G i } i I is a group i I G i defined as follows. As a set i I G i is the cartesian product
More informationStone duality for first-order logic: a nominal approach to logic and topology
Stone duality for first-order logic: a nominal approach to logic and topology Murdoch J. Gabbay Heriot-Watt University, Scotland, UK http://www.gabbay.org.uk Abstract What are variables, and what is universal
More informationConstructive version of Boolean algebra
Constructive version of Boolean algebra Francesco Ciraulo, Maria Emilia Maietti, Paola Toto Abstract The notion of overlap algebra introduced by G. Sambin provides a constructive version of complete Boolean
More informationarxiv: v1 [cs.lo] 18 Jun 2015
MULTI-SORTED LOGIC, MODELS AND LOGICAL GEOMETRY arxiv:1506.06057v1 [cs.lo] 18 Jun 2015 E. Aladova a,b, A. Gvaramia c, B. Plotkin d, T. Plotkin a a Bar Ilan University, 5290002, Ramat Gan, Israel E-mail
More informationGeometric aspects of MV-algebras. Luca Spada Università di Salerno
Geometric aspects of MV-algebras Luca Spada Università di Salerno TACL 2017 TACL 2003 Tbilisi, Georgia. Contents Crash tutorial on MV-algebras. Dualities for semisimple MV-algebras. Non semisimple MV-algebras.
More informationMATH 770 : Foundations of Mathematics. Fall Itay Ben-Yaacov
MATH 770 : Foundations of Mathematics Fall 2005 Itay Ben-Yaacov Itay Ben-Yaacov, University of Wisconsin Madison, Department of Mathematics, 480 Lincoln Drive, Madison, WI 53706-1388, USA URL: http://www.math.wisc.edu/~pezz
More informationMODEL THEORY FOR ALGEBRAIC GEOMETRY
MODEL THEORY FOR ALGEBRAIC GEOMETRY VICTOR ZHANG Abstract. We demonstrate how several problems of algebraic geometry, i.e. Ax-Grothendieck, Hilbert s Nullstellensatz, Noether- Ostrowski, and Hilbert s
More informationMATH 101A: ALGEBRA I PART C: TENSOR PRODUCT AND MULTILINEAR ALGEBRA. This is the title page for the notes on tensor products and multilinear algebra.
MATH 101A: ALGEBRA I PART C: TENSOR PRODUCT AND MULTILINEAR ALGEBRA This is the title page for the notes on tensor products and multilinear algebra. Contents 1. Bilinear forms and quadratic forms 1 1.1.
More informationProbability Measures in Gödel Logic
Probability Measures in Gödel Logic Diego Valota Department of Computer Science University of Milan valota@di.unimi.it Joint work with Stefano Aguzzoli (UNIMI), Brunella Gerla and Matteo Bianchi (UNINSUBRIA)
More informationFormal Methods for Java
Formal Methods for Java Lecture 20: Sequent Calculus Jochen Hoenicke Software Engineering Albert-Ludwigs-University Freiburg January 15, 2013 Jochen Hoenicke (Software Engineering) Formal Methods for Java
More informationPart II. Logic and Set Theory. Year
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 60 Paper 4, Section II 16G State and prove the ǫ-recursion Theorem. [You may assume the Principle of ǫ- Induction.]
More informationFlat Coalgebraic Fixed Point Logics
Lutz Schröder, Yde Venema: Flat Coalgebraic Fixed Point Logics 1 IFIP WG 1.3 Meeting, Etelsen, July 2010 Flat Coalgebraic Fixed Point Logics Lutz Schröder 1,2 Yde Venema 3 1 Safe and Secure Cognitive Systems,
More informationReview of category theory
Review of category theory Proseminar on stable homotopy theory, University of Pittsburgh Friday 17 th January 2014 Friday 24 th January 2014 Clive Newstead Abstract This talk will be a review of the fundamentals
More informationQuantum Symmetries in Free Probability Theory. Roland Speicher Queen s University Kingston, Canada
Quantum Symmetries in Free Probability Theory Roland Speicher Queen s University Kingston, Canada Quantum Groups are generalizations of groups G (actually, of C(G)) are supposed to describe non-classical
More informationStone Duality and the Substitution Principle
Stone Duality and the Substitution Principle Célia Borlido 1, Silke Czarnetzki 2, Mai Gehrke 3, and Andreas Krebs 4 1 IRIF, CNRS and Université Paris Diderot, Paris, France 2 Wilhelm-Schickard Institut,
More informationCategories of imaginaries for additive structures
Categories of imaginaries for additive structures Mike Prest Department of Mathematics Alan Turing Building University of Manchester Manchester M13 9PL UK mprest@manchester.ac.uk December 5, 2011 () December
More informationNeighborhood Semantics for Modal Logic Lecture 5
Neighborhood Semantics for Modal Logic Lecture 5 Eric Pacuit ILLC, Universiteit van Amsterdam staff.science.uva.nl/ epacuit August 17, 2007 Eric Pacuit: Neighborhood Semantics, Lecture 5 1 Plan for the
More informationQuantum Logic in Dagger Categories with Kernels
Quantum Logic in Dagger Categories with Kernels Chris Heunen and Bart Jacobs Institute for Computing and Information Sciences (icis) Radboud University Nijmegen, The Netherlands Abstract This paper investigates
More informationPřednáška 12. Důkazové kalkuly Kalkul Hilbertova typu. 11/29/2006 Hilbertův kalkul 1
Přednáška 12 Důkazové kalkuly Kalkul Hilbertova typu 11/29/2006 Hilbertův kalkul 1 Formal systems, Proof calculi A proof calculus (of a theory) is given by: A. a language B. a set of axioms C. a set of
More informationLogical connections in the many-sorted setting
Logical connections in the many-sorted setting Jiří Velebil Czech Technical University in Prague Czech Republic joint work with Alexander Kurz University of Leicester United Kingdom AK & JV AsubL4 1/24
More informationMathematical Logic. Reasoning in First Order Logic. Chiara Ghidini. FBK-IRST, Trento, Italy
Reasoning in First Order Logic FBK-IRST, Trento, Italy April 12, 2013 Reasoning tasks in FOL Model checking Question: Is φ true in the interpretation I with the assignment a? Answer: Yes if I = φ[a]. No
More information1 Categorical Background
1 Categorical Background 1.1 Categories and Functors Definition 1.1.1 A category C is given by a class of objects, often denoted by ob C, and for any two objects A, B of C a proper set of morphisms C(A,
More information