Logical connections in the many-sorted setting
|
|
- Thomasine Young
- 5 years ago
- Views:
Transcription
1 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
2 Plan of the talk 1 Classical modal logic (syntax, semantics, Jónsson-Tarski, Goldblatt-Thomason theorems) can be recovered from a logical conection. 2 A general nature of a logical connection. 3 Results: syntax, semantics, Jónsson-Tarski and Goldblatt-Thomason theorems. 4 More examples: what we can choose for propositional part of a logic. AK & JV AsubL4 2/24
3 (Bonsangue & Kurz, 2004) Classical modal logic can be retrieved from the data 1 models will have sets of states = choice of the category Set of sets and mappings 2 Kripke frames = coalgebras for P : Set Set, one such is c : X P(X ) 3 choice of the propositional part of the logic = the variety BA of Boolean algebras 4 an adjunction Set op Stone Pred BA X Stone(A) A Pred(X ) of a special kind: it is given by an object Ω = 2 living in both Set and BA (schizophrenic object) = logical connection AK & JV AsubL4 3/24
4 The adjunction Stone Pred in more detail The assignment X Set(X, 2) has a canonical lift to Boolean algebras Set op Pred BA X Set(X,2) U Set Intution: Pred gives truth distributions. The assignment A BA(A, 2) has a canonical lift to sets Intuition: Stone gives theories. BA op Stone Set A BA(A,2) Set V =Id AK & JV AsubL4 4/24
5 The syntax of the modal part Given P : Set Set, define L : BA BA as the composite a BA Stone Set op P op Set op Pred BA Algebras for L = modal algebras (= BAOs), one such is α : LA A. α computes flat terms: (, a 0,..., a n 1 ) LA (a 0,..., a n 1 ) A a A tiny technicality here, if we want a finitary language. AK & JV AsubL4 5/24
6 Modalities We obtain all finitary modalities, one such is a map i.e., it is a truth table : P(2 n ) 2 0,..., n 1 r rows r = subsets of 2 n, values v = elements of Ω = 2 Thus: the modal language of predicate liftings (Kupke, Kurz, Schröder,... ). v AK & JV AsubL4 6/24
7 Modal algebras = BAOs = algebras for L Denote their category by BA L. There is a chain of adjunctions BA L F L F BA Set U L U F L F (At) F (At) At (BAO of modal formulas) (Boolean algebra of prop. formulas) (set of atomic propositions) that is finitary and monadic = BAOs form a variety. AK & JV AsubL4 7/24
8 Semantic of the logic There is, canonically, a commutative square (Set P ) op Pred BA L (V P ) op Set op Pred BA U L allowing for val c : F L F (At) Pred (X, c), ϕ {x X x val c ϕ} from a given valuation val : At UU L Pred (X, c), p {x X p holds in x} for each coalgebra c : X PX. AK & JV AsubL4 8/24
9 Semantic map = homomorphism By construction: val c : F L F (At) Pred (X, c) is a homomorphism of modal algebras, i.e.,.(ϕ 0,..., ϕ n 1 ) val c = [[ ]] Pred (X,c) ( ϕ 0 val c,..., ϕ n 1 val c ) holds. AK & JV AsubL4 9/24
10 Unravelling the definition of c in c : X P(X ) To see whether holds: x c.(ϕ 0,..., ϕ n 1 ) 1 In each x X determine, whether x c ϕ j, j n. This gives a map X 2 n, hence a map P(X ) P(2 n ). 2 Compute the composite X c P(X ) P(2 n ) 2 and evaluate at x. Hence: the classical Kripke semantics. AK & JV AsubL4 10/24
11 Further results on classical modal logic 1 Jónsson-Tarski completeness theorem: the unit η of Stone Pred is a (regular) mono and it lifts to BA L (Kurz & Rosický, 2006) (Set P ) op (V P ) op Set op Stone Pred Stone Pred BA L BA U L η A : (A, a) Pred Stone (A, a) η A : A PredStone(A) AK & JV AsubL4 11/24
12 Further results on classical modal logic 2 Goldblatt-Thomason theorem on modal definability: the counit ε of Stone Pred provides us with the notion of ultrafilter extension ε (X,c) : Stone Pred (X, c) (X, c) in (Set P ) op or, by passing from (Set P ) op to Set P, (ε ) op (X,c) : (X, c) (Stone ) op (Pred ) op (X, c) in Set P (Kurz & Rosický, 2007) AK & JV AsubL4 12/24
13 What has been studied instead of P : Set Set 1 Kripke-polynomial functors on Set (Kupke, Kurz, Moss, Pattinson, Schröder, Venema,... ): T ::= Id const X T T T + T PT essentially: modal logics of automata. 2 measure-polynomial functors (Goldblatt, Moss, Viglizzo,... ): T ::= Id const X T T T + T T Hence: modal logic on the category Meas of measurable spaces. AK & JV AsubL4 13/24
14 The main idea Replace Set V =Id by a general situation Spa V BA F Set Ω = 2 Set Set U Alg [S, Set] Ω : S A Set [A, Set] with Ω schizophrenic, i.e., in both Spa and Alg. F U AK & JV AsubL4 14/24
15 Examples of Alg = propositional part of the logic 1 Any finitary variety: distributive lattices, Heyting algebras, residuated lattices. 2 A =finite ordinals and all maps, H-algebras for HX = X X + X + δx, (δx )(n) = X (n + 1) H-algebra = 1st order formulas 3 A =ingredients of a Kripke-polynomial T : Set Set. Alg = [A, BA]. This gives many-sorted modal logic of Rössiger for description of automata. AK & JV AsubL4 15/24
16 Examples of Alg, cont. 4 H-monoids for a strong H : [A, Set] [A, Set], where A is promonoidal. Example: A =finite ordinals and all maps, syntax of λ-calculus with α-conversion (Fiore, Plotkin & Turi, 1999), HX = X X + δx. H-monoid = presheaf of λ-terms. More generally: a syntax given by variable binding (Tanaka & Power, 2000). Examples include: linear λ-calculus, logic of bunched implications,... AK & JV AsubL4 16/24
17 What schizophrenic modules are Ω : S A Set such that 1 Ω lives in both Spa and Alg: A Ω Spa Spa S Ω Alg a Ω(,a) V Alg s Ω(s, ) [S, Set] [A, Set] 2 Roughly: for every a and s, there are canonical Spa- and Alg-structures on U {A, Ω(s, )} {X, Ω(, a)} for every algebra A and space X. AK & JV AsubL4 17/24
18 Results (Kurz & JV, 2010) 1 Schizophrenic modules Ω give rise to logical connections Stone Pred : Spa op Alg One can even work enriched, i.e., with V -categories (replace Set by a symmetric monoidal closed V ). Technique: a initial lifts along U : Alg [A, Set] and V : Spa [S, Set]. 2 Given T : Spa Spa, one can define L : Alg Alg, giving rise to 1 Modal algebras Alg L forming a variety over [A, Set], if Alg was a variety over [A, Set]. (Variety = the adjunction F U is finitary and monadic.) 2 Syntax and semantics can be defined. The rôle of Ω = external truth values. a Generalizing Porst & Tholen, 1991 AK & JV AsubL4 18/24
19 Intuition behind Pred and Stone There is a canonical lift Spa op Pred Alg X {X,Ω } U [A, Set] Here, elements of {X, Ω } : A Set are truth-distributions on X : S Set, one such is a a natural transf. from X to Ω(, a), naturally in a Similarly for Stone, elements of Stone are ultrafilters (= theories ). AK & JV AsubL4 19/24
20 Examples of logical connections 1 Ω=any distributive/residuated lattice, it gives rise to Stone Pred : Set op DL, Stone Pred : Set op RL 2 Spa=measurable spaces, Alg=Boolean algebras, Ω = 2. The resulting logic is the logic of Harsanyi spaces (Moss & Viglizzo, 2004). Modality = a measurable map : T (2 n ) 2 i.e., a measurable subset of T (2 n ). AK & JV AsubL4 20/24
21 More examples of logical connections, enriched 4 V =posets, Ω=two-element chain, it gives rise to Stone Pred : Pos op DL The resulting logic is expressive (Kapulkin, Kurz & JV, 2010) for good T : Pos Pos. 5 V =2, V -categories are preorders. Any Ω : S A V is a (monotone) binary relation and it is schizophrenic. Logical connection = Galois connection between upper sets of S and A. 6 Another facet of the previous: V =Abelian groups, A, S rings with unit, Ω= any A -S -bimodule. The resulting logical connection is the one known from module theory. AK & JV AsubL4 21/24
22 General form of modalities 1 Arities are finitely presentable objects of [A, Set]. 2 For an f.p. n : A Set, an n-ary modality is : a (a) : T {n, Ω} Ω(, a), functorial in a and every (a) is natural in s, since Spa lives over [S, Set]. 3 n-ary can be applied only to an n-ad in A, i.e., to n UA allowing for partially defined modalities. AK & JV AsubL4 22/24
23 More results (Nentvich, Petrişan & JV, 2010) Given T : Spa Spa, the existence of (Spa T ) op (V P ) op Spa op Stone Pred Stone Pred Alg L Alg U L allows to formulate and prove 1 Jónsson-Tarski theorem 2 Goldblatt-Thomason theorem Some side conditions on Stone Pred are needed, however. AK & JV AsubL4 23/24
24 References H.-E. Porst and W. Tholen, Concrete dualities, in: Category theory at work (H. Herrlich, H.-E. Porst, eds.), Heldermann Verlag, Berlin 1991, M. Bonsangue and A. Kurz, Duality for logics of transition systems, FOSSACS 2005 A. Kurz and J. Rosický, Strongly complete logics for coalgebras, preprint 2006 A. Kurz and J. Rosický, The Goldblatt-Thomason theorem for coalgebras, CALCO 2007 K. Kapulkin, A. Kurz and J. V., Expressivity of coalgebraic logic over posets, CMCS 2010, A. Kurz and J. V., Enriched logical connections, preprint 2010 AK & JV AsubL4 24/24
Distributive Substructural Logics as Coalgebraic Logics over Posets
Distributive Substructural Logics as Coalgebraic Logics over Posets Marta Bílková, Rostislav Horčík 1 Institute of Computer Science, Academy of Sciences of the Czech Republic Jiří Velebil 1 Faculty of
More informationModal and Intuitionistic Natural Dualities via the Concept of Structure Dualizability
via the Concept of Structure Dualizability Kyoto University, Japan http://researchmap.jp/ymaruyama TACL, Marseille, July 26-30, 2011 Outline 1 TND does not subsume JT, KKV, or Esakia dualities 2 New Notions:
More informationPresenting Functors by Operations and Equations
j ) v Presenting Functors by Operations and Equations Marcello M. Bonsangue 1? Alexander Kurz 2?? 1 LIACS, Leiden University, The Netherlands 2 Department of Computer Science, University of Leicester,
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 informationLattice Theory Lecture 5. Completions
Lattice Theory Lecture 5 Completions John Harding New Mexico State University www.math.nmsu.edu/ JohnHarding.html jharding@nmsu.edu Toulouse, July 2017 Completions Definition A completion of a poset P
More informationOn a Categorical Framework for Coalgebraic Modal Logic
On a Categorical Framework for Coalgebraic Modal Logic Liang-Ting Chen Institute of Information Science Academia Sinica Taipei, Taiwan Achim Jung School of Computer Science University of Birmingham Birmingham,
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 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 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 informationCoalgebraic Semantics of Modal Logics: an Overview
Coalgebraic Semantics of Modal Logics: an Overview Clemens Kupke and Dirk Pattinson Department of Computing, Imperial College London 180 Queen s Gate, London SW7 2AZ, UK c.kupke@imperial.ac.uk, d.pattinson@imperial.ac.uk
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 informationStone Coalgebras. Keywords coalgebra, Stone spaces, Vietoris topology, modal logic, descriptive general frames, Kripke polynomial functors
Stone Coalgebras Clemens Kupke Alexander Kurz Yde Venema Abstract In this paper we argue that the category of Stone spaces forms an interesting base category for coalgebras, in particular, if one considers
More informationAlgebra and local presentability: how algebraic are they? (A survey)
Algebra and local presentability: how algebraic are they? (A survey) Jiří Adámek 1 and Jiří Rosický 2, 1 Department of Mathematics, Faculty of Electrical Engineering, Czech Technical University in Prague,
More informationCompleteness via canonicity for distributive substructural logics: a coalgebraic perspective
Completeness via canonicity for distributive substructural logics: a coalgebraic perspective Fredrik Dahlqvist and David Pym University College London Abstract. We prove strong completeness of a range
More informationTesting Semantics: Connecting Processes and Process Logics
Testing Semantics: Connecting Processes and Process Logics Dusko Pavlovic, 1,4 Michael Mislove 2,4 and James B. Worrell 3 1 Kestrel Institute, Palo Alto, CA 2 Tulane University, New Orleans, LA 3 Oxford
More informationCoalgebraic Lindström Theorems
Coalgebraic Lindström Theorems Alexander Kurz University of Leicester, UK Yde Venema ILLC, Amsterdam, The Netherlands Abstract We study modal Lindström theorems from a coalgebraic perspective. We provide
More informationp-jets and Uniform Unramified Manin-Mumford
p-jets and Uniform Unramified Manin-Mumford Thomas Scanlon UC Berkeley scanlon@math.berkeley.edu 19 July 2001 SMF-AMS joint meeting, Lyons 1 The Uniform Unramified Manin-Mumford Theorem Theorem 1 Let R
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 informationGames for topological fixpoint logics
Games for topological fixpoint logics Clemens Kupke University of Strathclyde, Glasgow Scotland, UK & EU joint work with Nick Bezhanishvili University of Amsterdam The Netherlands Categories, Logic & Physics,
More informationAlgebraic Semantics for Coalgebraic Logics
CMCS 04 Preliminary Version Algebraic Semantics for Coalgebraic Logics Clemens Kupke a Alexander Kurz b,1 Dirk Pattinson c a CWI/Universiteit van Amsterdam b University of Leicester c LMU München Abstract
More informationStone Coalgebras. Clemens Kupke
Stone Coalgebras Clemens Kupke Institute for Logic, Language and Computation, University of Amsterdam, Plantage Muidergracht 24, NL 1018 TV Amsterdam, and Centrum voor Wiskunde en Informatica, P.O. Box
More informationSimulations and Bisimulations for Coalgebraic Modal Logics
Simulations and Bisimulations for Coalgebraic Modal Logics Daniel Gorín and Lutz Schröder Department of Computer Science, Universität Erlangen-Nürnberg Abstract. Simulations serve as a proof tool to compare
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 informationCompletions of Ordered Algebraic Structures A Survey
Completions of Ordered Algebraic Structures A Survey John Harding New Mexico State University www.math.nmsu.edu/johnharding.html jharding@nmsu.edu UncLog-2008 JAIST, March 2008 This is a survey of results
More informationElectronic Notes in Theoretical Computer Science 82 No. 1 (2003) URL: 21 pages.
Electronic Notes in Theoretical Computer Science 82 No. 1 (2003) URL: http://www.elsevier.nl/locate/entcs/volume82.html 21 pages Stone Coalgebras Clemens Kupke 1 Alexander Kurz 2 Yde Venema 3 Abstract
More informationStreams and Coalgebra Lecture 1
Streams and Coalgebra Lecture 1 Helle Hvid Hansen and Jan Rutten Radboud University Nijmegen & CWI Amsterdam Representing Streams II, Lorentz Center, Leiden, January 2014 Tutorial Overview Lecture 1 (Hansen):
More informationProgramming Languages in String Diagrams. [ four ] Local stores. Paul-André Melliès. Oregon Summer School in Programming Languages June 2011
Programming Languages in String iagrams [ four ] Local stores Paul-André Melliès Oregon Summer School in Programming Languages June 2011 Finitary monads A monadic account of algebraic theories Algebraic
More informationPOSITIVE FRAGMENTS OF COALGEBRAIC LOGICS
Logical Methods in Computer Science Vol. 11(3:18)2015, pp. 1 51 www.lmcs-online.org Submitted Feb. 23, 2014 Published Sep. 22, 2015 POSITIVE FRAGMENTS OF COALGEBRAIC LOGICS ADRIANA BALAN a, ALEXANDER KURZ
More informationA Duality for Distributive Unimodal Logic
A Duality for Distributive Unimodal Logic Adam Přenosil 1 Institute of Computer Science, Academy of Sciences of the Czech Republic Pod vodárenskou věží 271/2, 182 00 Praha Abstract We introduce distributive
More informationNabla Algebras and Chu Spaces
Nabla Algebras and Chu Spaces Alessandra Palmigiano and Yde Venema Universiteit van Amsterdam, ILLC Plantage Muidergracht 24 1018 TV Amsterdam, Netherlands Abstract. This paper is a study into some properties
More informationDuality in Logic and Computation
Duality in Logic and Computation Prakash Panangaden 1 1 School of Computer Science McGill University IEEE Symposium On Logic In Computer Science, June 2013 Panangaden (McGill University) Duality in Logic
More informationFrom Residuated Lattices to Boolean Algebras with Operators
From Residuated Lattices to Boolean Algebras with Operators Peter Jipsen School of Computational Sciences and Center of Excellence in Computation, Algebra and Topology (CECAT) Chapman University October
More informationSymbol Index Group GermAnal Ring AbMonoid
Symbol Index 409 Symbol Index Symbols of standard and uncontroversial usage are generally not included here. As in the word index, boldface page-numbers indicate pages where definitions are given. If a
More informationProof systems for Moss coalgebraic logic
Proof systems for Moss coalgebraic logic Marta Bílková, Alessandra Palmigiano, Yde Venema March 30, 2014 Abstract We study Gentzen-style proof theory of the finitary version of the coalgebraic logic introduced
More informationAbstract model theory for extensions of modal logic
Abstract model theory for extensions of modal logic Balder ten Cate Stanford, May 13, 2008 Largely based on joint work with Johan van Benthem and Jouko Väänänen Balder ten Cate Abstract model theory for
More informationModal logic and the Vietoris functor
Modal logic and the Vietoris functor Yde Venema and Jacob Vosmaer Dedicated to the memory of Leo Esakia, who was and will remain a great source of inspiration, both as a logician and as a person Abstract
More informationDefinability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic
Electronic Notes in Theoretical Computer Science 65 No. 1 (2002) URL: http://www.elsevier.nl/locate/entcs/volume65.html 21 pages Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal
More informationTeooriaseminar. TTÜ Küberneetika Instituut. May 10, Categorical Models. for Two Intuitionistic Modal Logics. Wolfgang Jeltsch.
TTÜ Küberneetika Instituut Teooriaseminar May 10, 2012 1 2 3 4 1 2 3 4 Modal logics used to deal with things like possibility, belief, and time in this talk only time two new operators and : ϕ now and
More informationOn the Construction of Free Algebras for Equational Systems
On the Construction of Free Algebras for Equational Systems Marcelo Fiore and Chung-Kil Hur 1 Computer Laboratory, University of Cambridge Abstract The purpose of this paper is threefold: to present a
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 informationDuality in Logic and Computation
Duality in Logic and Computation Prakash Panangaden 1 1 School of Computer Science McGill University IEEE Symposium On Logic In Computer Science, June 2013 Panangaden (McGill University) Duality in Logic
More informationA modal logic for games with lies
A modal logic for games with lies Bruno Teheux University of Luxembourg The RÉNYI ULAM game A searching game with lies 1. ALICE chooses an element in {1,..., M}. 2. BOB tries to guess this number by asking
More informationA coalgebraic view on positive modal logic
Theoretical Computer Science 327 (2004) 175 195 www.elsevier.com/locate/tcs A coalgebraic view on positive modal logic Alessandra Palmigiano,1 Departament de Lògica, Facultat de Filosofia, Història i Filosofia
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 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 informationNotions of Computation Determine Monads
Notions of Computation Determine Monads Gordon Plotkin and John Power Division of Informatics, University of Edinburgh, King s Buildings, Edinburgh EH9 3JZ, Scotland Abstract. We model notions of computation
More informationUnrestricted Stone Duality for Markov Processes
Unrestricted Stone Duality for Markov Processes Robert Furber, Dexter Kozen, Kim Larsen, Radu Mardare and Prakash Panangaden Aalborg University, Denmark Cornell University McGill University, Montreal,
More informationPreliminaries. Chapter 3
Chapter 3 Preliminaries In the previous chapter, we studied coinduction for languages and deterministic automata. Deterministic automata are a special case of the theory of coalgebras, which encompasses
More informationLogic for Computational Effects: work in progress
1 Logic for Computational Effects: work in progress Gordon Plotkin and John Power School of Informatics University of Edinburgh King s Buildings Mayfield Road Edinburgh EH9 3JZ Scotland gdp@inf.ed.ac.uk,
More informationCompleteness for coalgebraic µ-calculus: part 2. Fatemeh Seifan (Joint work with Sebastian Enqvist and Yde Venema)
Completeness for coalgebraic µ-calculus: part 2 Fatemeh Seifan (Joint work with Sebastian Enqvist and Yde Venema) Overview Overview Completeness of Kozen s axiomatisation of the propositional µ-calculus
More informationQuantum groupoids and logical dualities
Quantum groupoids and logical dualities (work in progress) Paul-André Melliès CNS, Université Paris Denis Diderot Categories, ogic and Foundations of Physics ondon 14 May 2008 1 Proof-knots Aim: formulate
More informationStrong Completeness for Iteration-Free Coalgebraic Dynamic Logics
Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics Helle Hvid Hansen 1,2, Clemens Kupke 3, Raul Andres Leal 4 1 Radboud University Nijmegen & CWI Amsterdam 2 University of Strathclyde 3
More informationSTONE DUALITY, TOPOLOGICAL ALGEBRA, AND RECOGNITION
STONE DUALITY, TOPOLOGICAL ALGEBRA, AND RECOGNITION Mai Gehrke To cite this version: Mai Gehrke. STONE DUALITY, TOPOLOGICAL ALGEBRA, AND RECOGNITION. Journal of Pure and Applied Algebra, Elsevier, 2016.
More informationA Coalgebraic Approach to Linear-Time Logics
A Coalgebraic Approach to Linear-Time Logics Corina Cîrstea University of Southampton cc2@ecs.soton.ac.uk Abstract. We extend recent work on defining linear-time behaviour for state-based systems with
More informationBases as Coalgebras. Bart Jacobs
Bases as Coalgebras Bart Jacobs Institute for Computing and Information Sciences (icis), Radboud University Nijmegen, The Netherlands. Webaddress: www.cs.ru.nl/b.jacobs Abstract. The free algebra adjunction,
More informationOn injective constructions of S-semigroups. Jan Paseka Masaryk University
On injective constructions of S-semigroups Jan Paseka Masaryk University Joint work with Xia Zhang South China Normal University BLAST 2018 University of Denver, Denver, USA Jan Paseka (MU) 10. 8. 2018
More informationThe non-logical symbols determine a specific F OL language and consists of the following sets. Σ = {Σ n } n<ω
1 Preliminaries In this chapter we first give a summary of the basic notations, terminology and results which will be used in this thesis. The treatment here is reduced to a list of definitions. For the
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 informationA few bridges between operational and denotational semantics of programming languages
A few bridges between operational and denotational semantics of programming languages Soutenance d habilitation à diriger les recherches Tom Hirschowitz November 17, 2017 Hirschowitz Bridges between operational
More informationLax Extensions of Coalgebra Functors and Their Logic
Lax Extensions of Coalgebra Functors and Their Logic Johannes Marti, Yde Venema ILLC, University of Amsterdam Abstract We discuss the use of relation lifting in the theory of set-based coalgebra and coalgebraic
More informationDenability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic
Electronic Notes in Theoretical Computer Science 65 No. 1 (2007) URL: http://www.elsevier.nl/locate/entcs/volume65.html 18 pages Denability, Canonical Models, Compactness for Finitary Coalgebraic Modal
More informationMaps and Monads for Modal Frames
Robert Goldblatt Maps and Monads for Modal Frames Dedicated to the memory of Willem Johannes Blok. Abstract. The category-theoretic nature of general frames for modal logic is explored. A new notion of
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 informationStreams and Coalgebra Lecture 2
Streams and Coalgebra Lecture 2 Helle Hvid Hansen and Jan Rutten Radboud University Nijmegen & CWI Amsterdam Representing Streams II, Lorentz Center, Leiden, January 2014 Tutorial Overview Lecture 1 (Hansen):
More informationUniversal Algebra for Logics
Universal Algebra for Logics Joanna GRYGIEL University of Czestochowa Poland j.grygiel@ajd.czest.pl 2005 These notes form Lecture Notes of a short course which I will give at 1st School on Universal Logic
More informationMORITA EQUIVALENCE OF MANY-SORTED ALGEBRAIC THEORIES
Pré-Publicações do Departamento de Matemática Universidade de Coimbra Preprint Number 04 39 MORITA EQUIVALENCE OF MANY-SORTED ALGEBRAIC THEORIES JIŘÍ ADÁMEK, MANUELA SOBRAL AND LURDES SOUSA Abstract: Algebraic
More informationFUNCTORS AND ADJUNCTIONS. 1. Functors
FUNCTORS AND ADJUNCTIONS Abstract. Graphs, quivers, natural transformations, adjunctions, Galois connections, Galois theory. 1.1. Graph maps. 1. Functors 1.1.1. Quivers. Quivers generalize directed graphs,
More informationHomological Algebra and Differential Linear Logic
Homological Algebra and Differential Linear Logic Richard Blute University of Ottawa Ongoing discussions with Robin Cockett, Geoff Cruttwell, Keith O Neill, Christine Tasson, Trevor Wares February 24,
More informationfive years later Olivia Caramello TACL 2015, 25 June 2015 Université Paris 7 The theory of topos-theoretic bridges, five years later Olivia Caramello
Université Paris 7 TACL 2015, 25 June 2015 2 / 37 unifying in Mathematics In this lecture, whenever I use the word topos, I really mean Grothendieck topos. was introduced in the paper in 2010. The unification
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 informationA representation theorem for quantale valued sup-algebras
A representation theorem for quantale valued sup-algebras arxiv:1810.09561v1 [math.lo] 22 Oct 2018 Jan Paseka Department of Mathematics and Statistics Faculty of Science, Masaryk University Kotlářská 2,
More informationThe Essentially Equational Theory of Horn Classes
The Essentially Equational Theory of Horn Classes Hans E. Porst Dedicated to Professor Dr. Dieter Pumplün on the occasion of his retirement Abstract It is well known that the model categories of universal
More information6 Coalgebraic modalities via predicate liftings
6 Coalgebraic modalities via predicate liftings In this chapter we take an approach to coalgebraic modal logic where the modalities are in 1-1 correspondence with so-called predicate liftings for the functor
More informationHow and when axioms can be transformed into good structural rules
How and when axioms can be transformed into good structural rules Kazushige Terui National Institute of Informatics, Tokyo Laboratoire d Informatique de Paris Nord (Joint work with Agata Ciabattoni and
More informationUnrestricted Stone Duality for Markov Processes
Unrestricted Stone Duality for Markov Processes Robert Furber, Dexter Kozen, Kim Larsen, Radu Mardare and Prakash Panangaden Aalborg University, Denmark Cornell University McGill University, Montreal,
More informationBialgebraic Methods in Structural Operational Semantics
SOS 2006 Preliminary Version Bialgebraic Methods in Structural Operational Semantics (Invited Talk) Bartek 1,2 Warsaw University, Edinburgh University Abstract Bialgebraic semantics, invented a decade
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 informationAlgebraic Theories of Quasivarieties
Algebraic Theories of Quasivarieties Jiří Adámek Hans E. Porst Abstract Analogously to the fact that Lawvere s algebraic theories of (finitary) varieties are precisely the small categories with finite
More informationAlgebras. Larry Moss Indiana University, Bloomington. TACL 13 Summer School, Vanderbilt University
1/39 Algebras Larry Moss Indiana University, Bloomington TACL 13 Summer School, Vanderbilt University 2/39 Binary trees Let T be the set which starts out as,,,, 2/39 Let T be the set which starts out as,,,,
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 informationWhat are Iteration Theories?
What are Iteration Theories? Jiří Adámek and Stefan Milius Institute of Theoretical Computer Science Technical University of Braunschweig Germany adamek,milius @iti.cs.tu-bs.de Jiří Velebil Department
More informationHigher Order Containers
Higher Order Containers Thorsten Altenkirch 1, Paul Levy 2, and Sam Staton 3 1 University of Nottingham 2 University of Birmingham 3 University of Cambridge Abstract. Containers are a semantic way to talk
More informationAn Introduction to Modal Logic III
An Introduction to Modal Logic III Soundness of Normal Modal Logics Marco Cerami Palacký University in Olomouc Department of Computer Science Olomouc, Czech Republic Olomouc, October 24 th 2013 Marco Cerami
More informationA generalization of modal definability
A generalization of modal definability Tin Perkov Polytechnic of Zagreb Abstract. Known results on global definability in basic modal logic are generalized in the following sense. A class of Kripke models
More informationWhat are Iteration Theories?
What are Iteration Theories? Jiří Adámek 1, Stefan Milius 1 and Jiří Velebil 2 1 Institute of Theoretical Computer Science, TU Braunschweig, Germany {adamek,milius}@iti.cs.tu-bs.de 2 Department of Mathematics,
More informationCategorical Universal Logic: LT Topology and Logical Translation
: LT Topology and Logical Translation Quantum Group Dept. of Computer Science University of Oxford ALGI, Fukuoka, Sep 6, 2012 What I have been working on My primary area of research: Theory of categorical
More informationAlgebras and Coalgebras
Algebras and Coalgebras Yde Venema Institute for Logic, Language and Computation, University of Amsterdam, Plantage Muidergracht 24, NL 1018 TV Amsterdam. E-mail: yde@science.uva.nl Abstract This chapter
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 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 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 informationDistributive laws for the Coinductive Solution of Recursive Equations
Distributive laws for the Coinductive Solution of Recursive Equations Bart Jacobs Institute for Computing and Information Sciences, Radboud University Nijmegen P.O. Box 9010, 6500 GL Nijmegen, The Netherlands
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 informationModular Construction of Modal Logics
Modular Construction of Modal Logics Corina Cîrstea 1 and Dirk Pattinson 2 1 School of Electronics and Computer Science, University of Southampton, UK cc2@ecs.soton.ac.uk 2 Institut für Informatik, LMU
More informationOn a Purely Categorical Framework for Coalgebraic Modal Logic
On a Purely Categorical Framework for Coalgebraic Modal Logic by Liang-Ting Chen A thesis submitted to the University of Birmingham for the degree of DOCTOR OF PHILOSOPHY School of Computer Science University
More informationAlgebraic theories in the presence of binding operators, substitution, etc.
Algebraic theories in the presence of binding operators, substitution, etc. Chung Kil Hur Joint work with Marcelo Fiore Computer Laboratory University of Cambridge 20th March 2006 Overview First order
More informationUnification of terms and language expansions
Unification of terms and language expansions in Heyting algebras and commutative residuated lattices Wojciech Dzik Instytut Matematyki Uniwersytet Sl aski, Katowice wojciech.dzik@us.edu.pl joint work with
More informationDual Adjunctions Between Algebras and Coalgebras
Dual Adjunctions Between Algebras and Coalgebras Hans E. Porst Department of Mathematics University of Bremen, 28359 Bremen, Germany porst@math.uni-bremen.de Abstract It is shown that the dual algebra
More informationHealthiness Conditions for Predicate Transformers
MFPS 2015 Healthiness Conditions for Predicate Transformers Klaus Keimel 1,2 Fachbereich Mathematik Technische Universität Darmstadt 64289 Darmstadt, Germany Abstract The behavior of a program can be modeled
More informationlogics arxiv: v1 [cs.lo] 30 Oct 2015 University of London Imperial College of Science, Technology and Medicine Department of Computing
arxiv:1510.09095v1 [cs.lo] 30 Oct 2015 University of London Imperial College of Science, Technology and Medicine Department of Computing Completeness-viacanonicity for coalgebraic logics Fredrik Paul Herbert
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 information