An adjoint construction for topological models of intuitionistic modal logic Extended abstract
|
|
- Madeline Cassandra Hamilton
- 5 years ago
- Views:
Transcription
1 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 aspects of the relationship of modal logics to their Kripke models. In doing so, we extend the traditional treatment of models to a broad range of non-classical (intuitionistic) modal logics. The key to this is a construction of topological spaces which is canonical in the strong sense that the relationship of models to modal algebras is an adjunction, and an adjunction that yields full categorical duality results for interesting classes of models. This is an extended abstract. We give only a basic mathematical outline. A full paper is in preparation. Those interested in this approach to models of intuitionistic modal logic may consult related publications at uk/~david. 1 Introduction A traditional account of Kripke-style semantics of classical propositional modal logic goes as follows. Let R X X be a binary relation (sometimes called the accessibility relation ) on a set X (whose elements are called worlds or states ). Propositions are interpreted as the set of worlds in which they are true. For U X, the modal operators are interpreted as follows: U = {x X y X. xry = y U} U = {x X y U. xry} This interpretation extends to a map from binary relations on X to modal algebras: (X, R) (P (X),, ) where P (X) is the powerset of X and the modal operators are defined above. By a modal algebra we mean (for the moment) a Boolean algebra with modal operators satisfying the classical axioms. david@cs.man.ac.uk 1
2 A map between modal algebras is a morphism of Boolean algebras that commutes with the modal operators (strictly). The maps between relations which correspond to maps of modal algebras are known as p-morphisms. The correspondence sends a p-morphism f to its inverse image map f. Altogether, this defines a functor from the category of relations (with p-morphisms) to that of modal algebras. In the opposite direction, for any modal algebra (A,, ), consider the set pf (A) of prime filters of A. A relation R A pf (A) pf (A) can be defined by pr A q {a A a p} q for all prime filters p, q of A. A completeness result for classical propositional modal logic is based on this construction. From a logic we build a model using the maximally consistent sets of formulae. These constitute the prime filters of a Boolean algebra. Looking over the above development, there are a few comments that we wish to make. Firstly, as we have formulated it, the construction above does not form an adjunction. In addition, there is an implicit topological structure to the above which we have not exploited. Consider a modal algebra (A,, ) and a A. The sets of prime filters O a = {p pf (A) a p} for a A act form a base for a topology on pf (A). This is the so-called Stone topology. It is the purpose of this paper to explore this topological setting. To do so, we put topological spaces in the place of sets, and relations on spaces in the place of relations on sets. It turns out that we can do this in a very general way, without any link between the topology and the relation. This is not an arbitrary generalisation. It combines the Kripke semantics of modal logics with the standard topological semantics of intuitionistic logics in a natural way to provide a framework for the semantics of intuitionistic modal logics. The key to this is the construction of an adjunction from which duality and completeness results follow. These can be regarded as modal extensions of standard results from locale theory [9]. There is a range of interesting models which combine a topology and a relation and which arise naturally in logic and in computation. These include equilogical spaces, the real numbers, and domain models using the Scott topology. 2 Modal frames and relational spaces We begin this brief outline by defining the relevant modal algebras and relational structures. Definition 2.1. A frame is a partial order with finite meets and all joins, with binary meets distributing over arbitrary joins. A modal frame (A,, ) consists 2
3 of a frame A together with a pair, : A A of monotone unary operators which satisfy for all a, b A. (1) a b (a b) (2) a b (a b) (3) (4) There has been considerable discussion in the literature as to what axioms are appropriate for intuitionistic modal logic, in particular whether the final axiom above is required. In the topological approach developed here, these are the exact axioms which ensure a canonical construction of models as an adjunction. Definition 2.2. A modal frame morphism f : (A,, ) (B,, ) is a morphism of frames f : A B, such that f f (5) f f (6) where is the pointwise extension of the order on frames to an order on frame morphisms. We say that the morphism laxly commutes with the modal operators. The morphism is said to be strict if the two inequalities 5, 6 above are equalities. Modal frames and modal frame morphisms form a category MFrm. Definition 2.3. A relational space (X, O, R) consists of a topological space (X, O) together with a binary relation R X X. Let the category RelS consist of relational spaces and continuous, relation-preserving maps between them. Definition 2.4. Let f : (X, O, R) (Y, P, S) be a continuous relation-preserving map between relational spaces. If f satisfies f(x)sy U x X. xrx & f(x ) U (7) for all x X, y Y and U P then we say that f is a topological p-morphism. Relational spaces and topological p-morphisms together form a category RelSp. If f is a topological p-morphism which also satisfies f(x)sy C x X. xrx & f(x ) C (8) for all x X, y Y and closed subsets C then we say that f is a topological pq-morphism. Relational spaces and topological pq-morphisms form a category RelSpq. 3
4 3 An adjoint construction The open set functor extends to a functor from RelSp to MFrm: Definition 3.1. The modal open set functor Ω : RelSp MFrm is defined as follows. Let X = (X, O, R) be a relational space. Then ΩX = (O,, ) where O is the frame of opens and for each U O we define: U = {x X R(x) U} U = {x X R(x) U }. Where () is the interior operation. The functor takes a continuous p-morphism to its inverse image map. We can restrict the modal open set functor to act on the category RelSpq. In the opposite direction, we construct a relational space from a modal frame to provide a contravariant adjunction between MFrm and RelSpq. The construction is fairly intricate but is the core of this paper. We present it in four stages: firstly defining a set of pre-points, then a relation, then restrict the set of pre-points to the set of points, and then we impose a topology on these points. Let A be a modal frame. Definition 3.2. A pre-point of A is a triple (p, a, F ), where 2 is the two-point frame, p : A 2 is a frame morphism, a is an element of A and F is a filter of the frame A, such that p( a) = 0 {c A p( c) = 1} F. The next stage is the construction of a relation between pre-points. Definition 3.3. Two pre-points are related, (p, a, F )R A (q, b, G) if q(a) = 0 F {c A q(c) = 1}. We restrict the set of pre-points to the set of points. The set P A of modal frame points of A is defined to be the largest set of pre-points satisfying the two conditions below. Definition 3.4. The set P A of points of A is the largest set P of pre-points satisfying the conditions: (p, a, F ) P & c a (q, b, G) P. (p, a, F )R A (q, b, G) & q(c) = 1 (p, a, F ) P & c / F (q, b, G) P. (p, a, F )R A (q, b, G) & q(c) = 0. 4
5 The significance of these conditions is discussed below. The topology on the set of points is the standard one from from locale theory, defined as follows: There is a modal frame morphism φ A : A P(P A ) defined by φ A (a) = {(p, a, F ) P A p(a) = 1} for all a A. The topology O A on P A is given by the image of the map φ A. For every modal frame A the modal point construction produces a relational space (P A, O A, R A ). In the above construction, the component a of a point (p, a, F ) determines the interior of the set points unrelated to it. The component F determines the neighbourhood filter of the set of points related to (p, a, F ). It can be shown that φ A is the universal arrow from A to Ω. We then have the following theorem. Theorem 3.5. The assignment A (P A, O A, R A ) is the object part of a contravariant functor, adjoint to Ω : RelSpq MFrm. The unit on the modal frame side is φ. Let the adjoint to the modal open set functor be F : MFrm RelSpq. Let the unit of the adjunction on the topological side be ψ. The construction of points given here is related to that found in [17]. There is an alternative presentation of points in terms of classes of trees. This is somewhat more explicit, at least for calculating with points. See [6] for a version of this alternative construction. 4 Lenses, relational spaces and duality Duality results and completeness for the models may be derived from the above construction of an adjoint as follows. Definition 4.1. A lens of a space (X, O) is the intersection of a closed subset with a saturated subset. That is, every lens L is of the form L = C S where C is closed and S is saturated. Let a lens relation be a binary relation on a space, for which the image of every point along the relation is a lens. That is, R X X is a lens relation if and only if R(x) is a lens of X for every x X. The significance of lenses to modal duality theory comes from the observation that the relation R A in the space (P A, O A, R A ), constructed from a modal frame A is a lens relation. Lemma 4.2. The relation R A is a lens relation. There is a duality between the images of the functors appearing in the above adjunction. A similar result holds for topological p-morphisms, see [7]. Definition 4.3. A modal frame A is modally spatial if φ A is an isomorphism. A space X is modally sober if ψ X, the component of the topological unit at X, is an isomorphism. 5
6 Proposition 4.4. If X is a relational space then Ω(X) is modally spatial. Proposition 4.5. If A is a modal frame then F(A) is modally sober. We summarise these results in the following theorem. Theorem 4.6. There is a duality between the full subcategories of MFrm and of RelSpq whose objects lie in the images of the functors Ω : RelSpq MFrm and F : MFrm RelSpq, respectively. There is an associated spectrality result: Define a modal Heyting algebra to be a Heyting algebra whose elements satisfy the axioms 1, 2, 3, 4 above. The ideal completion functor then takes modal Heyting algebras to modal frames. The modal frames which arise from the ideal completion of a modal Heyting algebra lie within the scope of the above duality. A completeness result follows directly. Fuller details of this result and of the overall mathematical development will be available in the forthcoming paper. 5 Related work The methods and results presented in this paper are developed directly from those of Hilken [7]. The key difference here is the definition of morphisms of relational spaces and the consequent construction of points. This new approach clarifies the way properties of the relational spaces arise from those of modal frames. The interpretation of intuitionistic modal logic in relational spaces has also been considered by Wijesekera [17] who used the same definition of the topological modal operators. In fact, he considers the same definition of modal Heyting algebra and a similar construction of a space from a modal frame. This was an independent discovery which here we generalise and use to define an adjunction between categories. Our approach is also connected, although less directly, with topological approaches to classical modal logic, in particular the work of Halmos [5], Esakia [3], Goldblatt [4], Lemmon [11] and Sambin and Vaccaro [15], all of whom consider restrictions on the notion of relational space to give semantics for various classical modal logics and dualities for modal Boolean algebras. References [1] A. Bauer, L. Birkedal, and D.S. Scott. Equilogical spaces. Theoretical Computer Science, to appear. [2] M.J. Collinson. Modality, Topology and Computation. PhD thesis, The University of Manchester, U.K.,
7 [3] L.L. Esakia. Topological kripke models. Soviet Mathematical Doklady, 15(1): , [4] R.I. Goldblatt. Metamathematics of modal logic i. Reports on Mathematical Logic, 6:41 77, [5] P.R. Halmos. Algebraic logic i. Compositio Mathematica, 12: , [6] B.P. Hilken. Duality for intuitionistic modal algebras. Technical Report UMCS , Department of Computer Science, The University of Manchester, U.K., [7] B.P. Hilken. Topological duality for intuitionistic modal algebras. Journal of Pure and Applied Algebra, 148: , [8] B. Jacobs. Towards a duality result in coalgebraic modal logic. Electronic Notes in Theoretical Computer Science, 33, [9] P.T. Johnstone. Stone Spaces. Cambridge University Press, [10] B. Jonsson and A. Tarski. Boolean algebras with operators, part i. Amer J. Math., 73: , [11] E.J. Lemmon. Algebraic semantics of modal logics i. Journal of Symbolic Logic, 31:46 65, [12] E.J. Lemmon. Algebraic semantics of modal logics ii. Journal of Symbolic Logic, 31: , [13] G. Plotkin and C. Stirling. A framework for intuitionistic modal logics. In Theoretical Aspects of Reasoning about Knowledge (Proceedings of the 1986 Conference), pages Morgan Kaufmann, Extended Abstract. [14] E. Robinson. Power-domains, modalities and the vietoris monad. Technical Report 98, University of Cambridge, Computer Laboratory, [15] G. Sambin and V. Vaccaro. Topology and duality in modal logic. Annals of Pure and Applied Logic, 37: , [16] A.K. Simpson. The Proof Theory and Semantics of Intuitionistic Modal Logics. PhD thesis, The University of Edinburgh, U.K., [17] D. Wijesekera. Constructive modal logics i. Annals of pure and Applied Logic, 50: ,
Notes 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 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 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 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 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 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 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 informationMODAL COMPACT HAUSDORFF SPACES
MODAL COMPACT HAUSDORFF SPACES GURAM BEZHANISHVILI, NICK BEZHANISHVILI, JOHN HARDING Abstract. We introduce modal compact Hausdorff spaces as generalizations of modal spaces, and show these are coalgebras
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 informationBinary positivity in the language of locales
Binary positivity in the language of locales Francesco Ciraulo Department of Mathematics University of Padua 4 th Workshop on Formal Topology June 15-20 2012, Ljubljana Francesco Ciraulo (Padua) Binary
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 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 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 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 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 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 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 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 informationEmbedding locales and formal topologies into positive topologies
Embedding locales and formal topologies into positive topologies Francesco Ciraulo Giovanni Sambin Department of Mathematics, University of Padova Via Trieste 63, 35121 Padova, Italy ciraulo@math.unipd.it,
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 informationUNITARY UNIFICATION OF S5 MODAL LOGIC AND ITS EXTENSIONS
Bulletin of the Section of Logic Volume 32:1/2 (2003), pp. 19 26 Wojciech Dzik UNITARY UNIFICATION OF S5 MODAL LOGIC AND ITS EXTENSIONS Abstract It is shown that all extensions of S5 modal logic, both
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 informationSemantical study of intuitionistic modal logics
Semantical study of intuitionistic modal logics Department of Intelligence Science and Technology Graduate School of Informatics Kyoto University Kensuke KOJIMA January 16, 2012 Abstract We investigate
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 informationCanonicity and representable relation algebras
Canonicity and representable relation algebras Ian Hodkinson Joint work with: Rob Goldblatt Robin Hirsch Yde Venema What am I going to do? In the 1960s, Monk proved that the variety RRA of representable
More informationA NEW VERSION OF AN OLD MODAL INCOMPLETENESS THEOREM
Bulletin of the Section of Logic Volume 39:3/4 (2010), pp. 199 204 Jacob Vosmaer A NEW VERSION OF AN OLD MODAL INCOMPLETENESS THEOREM Abstract Thomason [5] showed that a certain modal logic L S4 is incomplete
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 informationA bitopological point-free approach to compactifications
A bitopological point-free approach to compactifications Olaf Karl Klinke a, Achim Jung a, M. Andrew Moshier b a School of Computer Science University of Birmingham Birmingham, B15 2TT England b School
More informationThe prime spectrum of MV-algebras based on a joint work with A. Di Nola and P. Belluce
The prime spectrum of MV-algebras based on a joint work with A. Di Nola and P. Belluce Luca Spada Department of Mathematics and Computer Science University of Salerno www.logica.dmi.unisa.it/lucaspada
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 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 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 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 informationPointless Topology. Seminar in Analysis, WS 2013/14. Georg Lehner ( ) May 3, 2015
Pointless Topology Seminar in Analysis, WS 2013/14 Georg Lehner (1125178) May 3, 2015 Starting with the motivating example of Stone s representation theorem that allows one to represent Boolean algebras
More informationThe space of located subsets
The space of located subsets Tatsuji Kawai Universtà di Padova Second CORE meeting, 27 January 2017, LMU 1 / 26 The space of located subsets We are interested in a point-free topology on the located subsets
More informationThe overlap algebra of regular opens
The overlap algebra of regular opens Francesco Ciraulo Giovanni Sambin Abstract Overlap algebras are complete lattices enriched with an extra primitive relation, called overlap. The new notion of overlap
More informationA Non-Topological View of Dcpos as Convergence Spaces
A Non-Topological View of Dcpos as Convergence Spaces Reinhold Heckmann AbsInt Angewandte Informatik GmbH, Stuhlsatzenhausweg 69, D-66123 Saarbrücken, Germany e-mail: heckmann@absint.com Abstract The category
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 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 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 informationCategory Theory. Categories. Definition.
Category Theory Category theory is a general mathematical theory of structures, systems of structures and relationships between systems of structures. It provides a unifying and economic mathematical modeling
More informationLogics above S4 and the Lebesgue measure algebra
Logics above S4 and the Lebesgue measure algebra Tamar Lando Abstract We study the measure semantics for propositional modal logics, in which formulas are interpreted in the Lebesgue measure algebra M,
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 informationCanonical 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 informationarxiv:math/ v1 [math.lo] 5 Mar 2007
Topological Semantics and Decidability Dmitry Sustretov arxiv:math/0703106v1 [math.lo] 5 Mar 2007 March 6, 2008 Abstract It is well-known that the basic modal logic of all topological spaces is S4. However,
More informationLogic Synthesis and Verification
Logic Synthesis and Verification Boolean Algebra Jie-Hong Roland Jiang 江介宏 Department of Electrical Engineering National Taiwan University Fall 2014 1 2 Boolean Algebra Reading F. M. Brown. Boolean Reasoning:
More informationElementary (ha-ha) Aspects of Topos Theory
Elementary (ha-ha) Aspects of Topos Theory Matt Booth June 3, 2016 Contents 1 Sheaves on topological spaces 1 1.1 Presheaves on spaces......................... 1 1.2 Digression on pointless topology..................
More informationcse371/mat371 LOGIC Professor Anita Wasilewska Fall 2018
cse371/mat371 LOGIC Professor Anita Wasilewska Fall 2018 Chapter 7 Introduction to Intuitionistic and Modal Logics CHAPTER 7 SLIDES Slides Set 1 Chapter 7 Introduction to Intuitionistic and Modal Logics
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 informationTopological Duality and Lattice Expansions Part I: A Topological Construction of Canonical Extensions
Topological Duality and Lattice Expansions Part I: A Topological Construction of Canonical Extensions M. Andrew Moshier and Peter Jipsen 1. Introduction The two main objectives of this paper are (a) to
More informationA New Category for Semantics
A New Category for Semantics Andrej Bauer and Dana Scott June 2001 Domain theory for denotational semantics is over thirty years old. There are many variations on the idea and many interesting constructs
More informationEquilogical spaces and algebras for a double-power monad
Equilogical spaces and algebras for a double-power monad DIMA, via Dodecaneso 35, 16146 Genova, Italy E-mail: frosoni@dima.unige.it 1, rosolini@unige.it 2 DOI 10.1515/tmj-2017-0105 Giulia Frosoni 1 and
More informationA Gödel-style translation from positive calculus into strict implication logic
A Gödel-style translation from positive calculus into strict implication logic MSc Thesis (Afstudeerscriptie) written by Jana Haenen University of Amsterdam (born August 8th, 1988 in Hasselt, Belgium)
More informationCategory theory and set theory: algebraic set theory as an example of their interaction
Category theory and set theory: algebraic set theory as an example of their interaction Brice Halimi May 30, 2014 My talk will be devoted to an example of positive interaction between (ZFC-style) set theory
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 informationAlgebraic Canonicity in Non-Classical Logics
Algebraic Canonicity in Non-Classical Logics MSc Thesis (Afstudeerscriptie) written by Zhiguang Zhao (born November 15th, 1989 in Tai an, China) under the supervision of Dr Alessandra Palmigiano, and submitted
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 informationParameterizations and Fixed-Point Operators on Control Categories
Parameterizations and Fixed-Point Operators on Control Categories oshihiko Kakutani 1 and Masahito Hasegawa 12 1 Research Institute for Mathematical Sciences, Kyoto University {kakutani,hassei}@kurims.kyoto-u.ac.jp
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 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 informationSUBALGEBRAS AND HOMOMORPHIC IMAGES OF THE RIEGER-NISHIMURA LATTICE
SUBALGEBRAS AND HOMOMORPHIC IMAGES OF THE RIEGER-NISHIMURA LATTICE Guram Bezhanishvili and Revaz Grigolia Abstract In this note we characterize all subalgebras and homomorphic images of the free cyclic
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 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 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 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 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 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 informationCHAPTER 11. Introduction to Intuitionistic Logic
CHAPTER 11 Introduction to Intuitionistic Logic Intuitionistic logic has developed as a result of certain philosophical views on the foundation of mathematics, known as intuitionism. Intuitionism was originated
More informationSergio A. CELANI and Daniela MONTANGIE
REPORTS ON MATHEMATICAL LOGIC 49 (2014), 47 77 doi:10.4467/20842589rm.14.004.2274 Sergio A. CELANI and Daniela MONTANGIE HILBERT ALGEBRAS WITH A NECESSITY MODAL OPERATOR A b s t r a c t. We introduce the
More informationAn Introduction to Modal Logic I
An Introduction to Modal Logic I Introduction and Historical remarks Marco Cerami Palacký University in Olomouc Department of Computer Science Olomouc, Czech Republic Olomouc, October 10 th 2013 Marco
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 informationComputability of Heyting algebras and. Distributive Lattices
Computability of Heyting algebras and Distributive Lattices Amy Turlington, Ph.D. University of Connecticut, 2010 Distributive lattices are studied from the viewpoint of effective algebra. In particular,
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 informationTopological and Limit-space Subcategories of Countably-based Equilogical Spaces
Under consideration for publication in Math. Struct. in Comp. Science Topological and Limit-space Subcategories of Countably-based Equilogical Spaces Matías Menni and Alex Simpson Laboratory for Foundations
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 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 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 informationAn Introduction to Modal Logic V
An Introduction to Modal Logic V Axiomatic Extensions and Classes of Frames Marco Cerami Palacký University in Olomouc Department of Computer Science Olomouc, Czech Republic Olomouc, November 7 th 2013
More informationA NEW CHARACTERIZATION OF COMPLETE HEYTING AND CO-HEYTING ALGEBRAS
Logical Methods in Computer Science Vol. 13(3:252017, pp. 1 11 www.lmcs-online.org Submitted Apr. 15, 2015 Published Sep. 14, 2017 A NEW CHARACTERIZATION OF COMPLETE HEYTING AND CO-HEYTING ALGEBRAS FRANCESCO
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 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 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 informationConsequence Relations of Modal Logic
Consequence Relations of Modal Logic Lauren Coe, Trey Worthington Huntingdon College BLAST 2015 January 6, 2015 Outline 1. Define six standard consequence relations of modal logic (Syntactic, Algebraic,
More informationUnbounded quantifiers via 2-categorical logic
via Unbounded via A. University of Chicago March 18, 2010 via Why? For the same reasons we study 1-categorical. 1 It tells us things about 2-categories. Proofs about fibrations and stacks are simplified
More informationTopological Duality and Algebraic Completions
Topological Duality and Algebraic Completions Mai Gehrke Abstract In this chapter we survey some developments in topological duality theory and the theory of completions for lattices with additional operations
More informationVarieties of Heyting algebras and superintuitionistic logics
Varieties of Heyting algebras and superintuitionistic logics Nick Bezhanishvili Institute for Logic, Language and Computation University of Amsterdam http://www.phil.uu.nl/~bezhanishvili email: N.Bezhanishvili@uva.nl
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 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 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 informationThe role of the overlap relation in constructive mathematics
The role of the overlap relation in constructive mathematics Francesco Ciraulo Department of Mathematics and Computer Science University of PALERMO (Italy) ciraulo@math.unipa.it www.math.unipa.it/ ciraulo
More informationMacNeille completions and canonical extensions
MacNeille completions and canonical extensions Mai Gehrke New Mexico State University John Harding New Mexico State University January 29, 2004 Yde Venema University of Amsterdam Abstract Let V be a variety
More informationvia Topos Theory Olivia Caramello University of Cambridge The unification of Mathematics via Topos Theory Olivia Caramello
in University of Cambridge 2 / 23 in in In this lecture, whenever I use the word topos, I really mean Grothendieck topos. Recall that a Grothendieck topos can be seen as: a generalized space a mathematical
More informationON THE CONGRUENCE LATTICE OF A FRAME
PACIFIC JOURNAL OF MATHEMATICS Vol. 130, No. 2,1987 ON THE CONGRUENCE LATTICE OF A FRAME B. BANASCHEWSKI, J. L. FRITH AND C. R. A. GILMOUR Recall that the Skula modification SkX of a topological space
More informationOlivia Caramello. University of Insubria - Como. Deductive systems and. Grothendieck topologies. Olivia Caramello. Introduction.
duality University of Insubria - Como 2 / 27 duality Aim of the talk purpose of this talk is to illustrate the relevance of the notion of topology. I will show that the classical proof system of geometric
More informationDuality and recognition
Duality and recognition Mai Gehrke Radboud University Nijmegen, The Netherlands Abstract. The fact that one can associate a finite monoid with universal properties to each language recognised by an automaton
More informationA Bimodal Perspective on Possibility Semantics
A Bimodal Perspective on Possibility Semantics Johan van Benthem, Nick Bezhanishvili, and Wesley H. Holliday Institute for Logic, Language and Computation, University of Amsterdam Department of Philosophy,
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 informationSynthetic Computability
Synthetic Computability Andrej Bauer Department of Mathematics and Physics University of Ljubljana Slovenia MFPS XXIII, New Orleans, April 2007 What is synthetic mathematics? Suppose we want to study mathematical
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 informationDistributive 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 information