A CLOSURE SYSTEM FOR ELEMENTARY SITUATIONS
|
|
- Alfred Norton
- 5 years ago
- Views:
Transcription
1 Bulletin of the Section of Logic Volume 11:3/4 (1982), pp reedition 2009 [original edition, pp ] Bogus law Wolniewicz A CLOSURE SYSTEM FOR ELEMENTARY SITUATIONS 1. Preliminaries In [4] a lattice SE of elementary situations has been described. Its dual atoms are possible worlds, and their totality is the logical space SP. The join is x; y, and A B is the corresponding product of subsets. The zero of SE is the empty elementary situation, and the impossible on λ is its unit. Following Loś maximal proper ideals of SE are called realizations. They are all principal here. In [5] a family V of complete sets of verifiers, or V -sets for short, has been defined on SE. These are non-empty SE -sets (i.e., subsets of SE ) such that for any V V : A V V, and A Q V implies A V, for any Q-space Q. (A Q-space is an antichain in SE intersecting every realization R at exactly one of its elements. In particular, SP and Q o = {o} are Q-spaces). Being closed under arbitrary intersection (cf. T1 in [5]), V is a closure system on SE. Put V (A) = {V V : A V }, for any SE -set A. Then < SE, V > is the corresponding closure space. I.e., A V (A), A B implies V (A) V (B), and V (V (A)) = V (A). SE -sets are V -equivalent (written A V B ) iff they always intersect the same realizations. In particular (cf. T7 in [5]) we have: V 1 V V 2 iff V 1 = V 2, for any V 1, V 2 V.
2 A Closure System for Elementary Situations Orthogonality in SE As in [4], x is incompatible with y iff x; y = λ. Write this x y. Then is an orthogonality relation in MacLaren s sense (cf. [2]). I.e., (1) x y implies y x; (2) x x implies x y, for all y SE ; (3) (x z iff y z) implies x = z. (1) is obvious. For (2): x x iff x = λ. And (3) is equivalent to the separation axiom 1.10 in [4], with SE being dually atomic by axioms 1.8 there. To see the last point transpose axiom I.e., we have: (x w iff y w) x = y. w SP Now x w iff x; w λ, for any w SP, by 1.8. Hence 1.10 may be put as (x w iff y w) x = y, which clearly implies (3). For the converse transpose (3): for some z SE, x y = ((x z and y z) or ( x z and y z)). Suppose the former: x; z = λ and y; z λ. Thus z w x w, for any w SP. But y; z w, for some w SP, by 1.8. Hence y w and x w, for some w SP. So (3) implies Closure and V equivalence Set = {λ}, and let A be the set of all y SE incompatible with every x A. Then A A =, provided A. (Note that = SE, but SE = ). As in [2] call A closed iff A = ((A ) ) = A. We claim (T1) V (A) = A, but to make this good we need some lemmas. For any SE -sets A, B we have clearly: (T2) B A iff either A B =, or A =, or B =. Moreover, with Q being any Q-space, we have: (T3) A (B Q) = A B =.
3 136 Bogus law Wolniewicz Indeed, suppose A B. If either is empty, so is A (B Q). Otherwise x; y λ, for some x A, y B. Thus x; y belongs to some realization R. But Q is a Q-space, and R is an ideal. So there is an z Q R such that (x; y); z λ. Hence A (B Q). Thus (T4) A is a V -set. Indeed, λ A, so A is never empty. In view of T2 we have also B A A, with A, B implying A (B A ) =. Finally B Q A implies B A, in view of T2 and T3. Note that for any realization R: A R = iff A R. Hence by transposition, substitution A /A, and transitivity: (T5) A R = iff A R =, for any realization R. I.e., (T6) A v A. Now A A by T2. So V (A) A by T4. Hence A R = implies V (A) R =. So in view of T5 A R = implies V (A) R =, for any realization R. The converse follows from A V (A). Thus (T7) A v V (A). From T6 and T7 we have V (A) v A, and since are V -sets we get T1. As A = A (cf. [2]), T1 yields corollary: (T8) And from T7 we have (T9) A = B iff V (A) = V (B). A v B iff V (A) = V (B). So SE -sets are V -equivalent iff they have equal closures. 4. Dual pseudocomplementation for minimal SE -sets In SE all chains are assumed finite (cf. 3.3 in [4], and section 2 in [5]). Setting MinA = {x A : for no x A, x < x} we have shown in [3] that the family Min = {A SE : A = MinA} of minimal SE -sets is a distributive lattice under the join A B = Min(A B), and the meet A + B = Min(A B). Min is also bounded, with as its unit, and Q 0 as its zero. The partial ordering is involvement: A B (read A involves B ) iff
4 A Closure System for Elementary Situations 137 x A y B y x. Clearly A Q 0. Moreover, A implies A. Hence the family Min = Min is a sublattice of Min, with as its unit. The round-trip map A c = Min(A ), sending A into P (SE ) and back into Min, gives the dual pseudocomplement for Min. I.e., we have for any A, X Min : (T10) A A c =, and A X = X A c. Indeed, note firstly that A B = iff A B =. Now for the former: since A, we have A A =. So A A =, and by M10 of [3] A A = A A c. For the latter assume the antecedent. Thus A X =, so X A by T2. Hence X A, which in turn (cf. T2 in [5]) implies X A c. For any A SE we have also: (T11) A = (MinA). Indeed, MinA A, so A (MinA) as in [2]. Conversely, take any y (MinA). Thus x ; y = λ, for all x MinA. All chains in SE being finite, there is for any x A some x MinA such that x x. Hence x y for all x A, i.e. y A. 5. Situations The family S = {A c : A Min } is the skeleton (cf. [1]) of the dually pseudocomplemented distributive lattice < Min,, +, c, Q c, >. Hence < S,, +, c, Q 0, > is a Boolean algebra with the same ordering of involvement, and the meet defined as A B = (A + B) cc. A simple computation starting at the middle and using only the corollary (MinA) c of T11 show that (T12) (A + B) cc = MinV (A B). The elements of S are situations. These are the objectives of propositions (cf. [5]). As we have seen, any situation S S may be presented as S = S(X) = MinV (X), for some X SE. So (T13) Situations are the minima of closed SE -sets.
5 138 Bogus law Wolniewicz References [1] G. Grätzer, General Lattice Theory, Berlin [2] M. D. MacLaren, Atomic Orthocomplemented Lattices, Pacific Journal of Mathematics, vol. 14 (1964), pp [3] B. Wolniewicz, Some Formal Properties of Objectives, this Bulletin, vol. 8 (1979), no. 1, pp [4] B. Wolniewicz, On the Lattice of Elementary Situations, this Bulletin, vol. 9 (1980), no. 3, pp [5] B. Wolniewicz, The Boolean Algebra of Objectives, this Bulletin, vol. 10 (1981), no. 1, pp Institute of Philosophy Warsaw University
EXTENDING ATOMISTIC FRAMES PART II. Bogusław WOLNIEWICZ. Logica Trianguli, 6, 2002, 69-88
Logica Trianguli, 6, 2002, 69-88 EXTENDING ATOMISTIC FRAMES PART II Bogusław WOLNIEWICZ Abstract The paper concludes an earlier one (Logica Trianguli, 5) on extensions of atomistic semantic frames. Three
More informationDUAL BCK-ALGEBRA AND MV-ALGEBRA. Kyung Ho Kim and Yong Ho Yon. Received March 23, 2007
Scientiae Mathematicae Japonicae Online, e-2007, 393 399 393 DUAL BCK-ALGEBRA AND MV-ALGEBRA Kyung Ho Kim and Yong Ho Yon Received March 23, 2007 Abstract. The aim of this paper is to study the properties
More informationWeak Choice Principles and Forcing Axioms
Weak Choice Principles and Forcing Axioms Elizabeth Lauri 1 Introduction Faculty Mentor: David Fernandez Breton Forcing is a technique that was discovered by Cohen in the mid 20th century, and it is particularly
More informationA CLASS OF INFINITE CONVEX GEOMETRIES
A CLASS OF INFINITE CONVEX GEOMETRIES KIRA ADARICHEVA AND J. B. NATION Abstract. Various characterizations of finite convex geometries are well known. This note provides similar characterizations for possibly
More informationFinite pseudocomplemented lattices: The spectra and the Glivenko congruence
Finite pseudocomplemented lattices: The spectra and the Glivenko congruence T. Katriňák and J. Guričan Abstract. Recently, Grätzer, Gunderson and Quackenbush have characterized the spectra of finite pseudocomplemented
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 informationTWO TYPES OF ONTOLOGICAL STRUCTURE: Concepts Structures and Lattices of Elementary Situations
Logic and Logical Philosophy Volume 21 (2012), 165 174 DOI: 10.12775/LLP.2012.009 Janusz Kaczmarek TWO TYPES OF ONTOLOGICAL STRUCTURE: Concepts Structures and Lattices of Elementary Situations Abstract.
More informationA Class of Infinite Convex Geometries
A Class of Infinite Convex Geometries Kira Adaricheva Department of Mathematics School of Science and Technology Nazarbayev University Astana, Kazakhstan kira.adaricheva@nu.edu.kz J. B. Nation Department
More informationSome Characterizations of 0-Distributive Semilattices
BULLETIN of the MALAYSIAN MATHEMATICAL SCIENCES SOCIETY http:/math.usm.my/bulletin Bull. Malays. Math. Sci. Soc. (2) 37(4) (2014), 1103 1110 Some Characterizations of 0-Distributive Semilattices 1 H. S.
More informationChristopher J. TAYLOR
REPORTS ON MATHEMATICAL LOGIC 51 (2016), 3 14 doi:10.4467/20842589rm.16.001.5278 Christopher J. TAYLOR DISCRIMINATOR VARIETIES OF DOUBLE-HEYTING ALGEBRAS A b s t r a c t. We prove that a variety of double-heyting
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 informationClass Notes on Poset Theory Johan G. Belinfante Revised 1995 May 21
Class Notes on Poset Theory Johan G Belinfante Revised 1995 May 21 Introduction These notes were originally prepared in July 1972 as a handout for a class in modern algebra taught at the Carnegie-Mellon
More informationARCHIVUM MATHEMATICUM (BRNO) Tomus 48 (2012), M. Sambasiva Rao
ARCHIVUM MATHEMATICUM (BRNO) Tomus 48 (2012), 97 105 δ-ideals IN PSEUDO-COMPLEMENTED DISTRIBUTIVE LATTICES M. Sambasiva Rao Abstract. The concept of δ-ideals is introduced in a pseudo-complemented distributive
More informationOn the filter theory of residuated lattices
On the filter theory of residuated lattices Jiří Rachůnek and Dana Šalounová Palacký University in Olomouc VŠB Technical University of Ostrava Czech Republic Orange, August 5, 2013 J. Rachůnek, D. Šalounová
More informationGroup construction in geometric C-minimal non-trivial structures.
Group construction in geometric C-minimal non-trivial structures. Françoise Delon, Fares Maalouf January 14, 2013 Abstract We show for some geometric C-minimal structures that they define infinite C-minimal
More information18.312: Algebraic Combinatorics Lionel Levine. Lecture 11
18.312: Algebraic Combinatorics Lionel Levine Lecture date: March 15, 2011 Lecture 11 Notes by: Ben Bond Today: Mobius Algebras, µ( n ). Test: The average was 17. If you got < 15, you have the option to
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 informationDISTRIBUTIVE, STANDARD AND NEUTRAL ELEMENTS IN TRELLISES. 1. Introduction
Acta Math. Univ. Comenianae Vol. LXXVII, 2 (2008), pp. 167 174 167 DISTRIBUTIVE, STANDARD AND NEUTRAL ELEMENTS IN TRELLISES SHASHIREKHA B. RAI Abstract. In this paper, the concepts of distributive, standard
More informationKRIPKE S THEORY OF TRUTH 1. INTRODUCTION
KRIPKE S THEORY OF TRUTH RICHARD G HECK, JR 1. INTRODUCTION The purpose of this note is to give a simple, easily accessible proof of the existence of the minimal fixed point, and of various maximal fixed
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 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 informationLecture 1: Lattice(I)
Discrete Mathematics (II) Spring 207 Lecture : Lattice(I) Lecturer: Yi Li Lattice is a special algebra structure. It is also a part of theoretic foundation of model theory, which formalizes the semantics
More informationComputational Completeness
Computational Completeness 1 Definitions and examples Let Σ = {f 1, f 2,..., f i,...} be a (finite or infinite) set of Boolean functions. Any of the functions f i Σ can be a function of arbitrary number
More informationLattices, closure operators, and Galois connections.
125 Chapter 5. Lattices, closure operators, and Galois connections. 5.1. Semilattices and lattices. Many of the partially ordered sets P we have seen have a further valuable property: that for any two
More informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
More informationFilters on posets and generalizations
Filters on posets and generalizations Victor Porton 78640, Shay Agnon 32-29, Ashkelon, Israel Abstract They are studied in details properties of filters on lattices, filters on posets, and certain generalizations
More informationFoundations of non-commutative probability theory
Foundations of non-commutative probability theory Daniel Lehmann School of Engineering and Center for the Study of Rationality Hebrew University, Jerusalem 91904, Israel June 2009 Abstract Kolmogorov s
More informationThe Logic of Partitions
The Logic of Partitions Introduction to the Dual of "Propositional" Logic David Ellerman Philosophy U. of California/Riverside U. of Ljubljana, Sept. 8, 2015 David Ellerman Philosophy U. of California/Riverside
More informationSUBLATTICES OF LATTICES OF ORDER-CONVEX SETS, III. THE CASE OF TOTALLY ORDERED SETS
SUBLATTICES OF LATTICES OF ORDER-CONVEX SETS, III. THE CASE OF TOTALLY ORDERED SETS MARINA SEMENOVA AND FRIEDRICH WEHRUNG Abstract. For a partially ordered set P, let Co(P) denote the lattice of all order-convex
More informationThe Zariski Spectrum of a ring
Thierry Coquand September 2010 Use of prime ideals Let R be a ring. We say that a 0,..., a n is unimodular iff a 0,..., a n = 1 We say that Σa i X i is primitive iff a 0,..., a n is unimodular Theorem:
More informationOn minimal models of the Region Connection Calculus
Fundamenta Informaticae 69 (2006) 1 20 1 IOS Press On minimal models of the Region Connection Calculus Lirong Xia State Key Laboratory of Intelligent Technology and Systems Department of Computer Science
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 information10. Finite Lattices and their Congruence Lattices. If memories are all I sing I d rather drive a truck. Ricky Nelson
10. Finite Lattices and their Congruence Lattices If memories are all I sing I d rather drive a truck. Ricky Nelson In this chapter we want to study the structure of finite lattices, and how it is reflected
More informationarxiv:math/ v1 [math.gm] 21 Jan 2005
arxiv:math/0501341v1 [math.gm] 21 Jan 2005 SUBLATTICES OF LATTICES OF ORDER-CONVEX SETS, I. THE MAIN REPRESENTATION THEOREM MARINA SEMENOVA AND FRIEDRICH WEHRUNG Abstract. For a partially ordered set P,
More informationJanusz Czelakowski. B. h : Dom(h ) {T, F } (T -truth, F -falsehood); precisely: 1. If α Dom(h ), then. F otherwise.
Bulletin of the Section of Logic Volume 3/2 (1974), pp. 31 35 reedition 2012 [original edition, pp. 31 37] Janusz Czelakowski LOGICS BASED ON PARTIAL BOOLEAN σ-algebras Let P = P ;, be the language with
More informationLECTURE 3 Matroids and geometric lattices
LECTURE 3 Matroids and geometric lattices 3.1. Matroids A matroid is an abstraction of a set of vectors in a vector space (for us, the normals to the hyperplanes in an arrangement). Many basic facts about
More informationUNIVERSALITY OF THE LATTICE OF TRANSFORMATION MONOIDS
UNIVERSALITY OF THE LATTICE OF TRANSFORMATION MONOIDS MICHAEL PINSKER AND SAHARON SHELAH Abstract. The set of all transformation monoids on a fixed set of infinite cardinality λ, equipped with the order
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 informationCLOSURE OPERATORS ON COMPLETE ALMOST DISTRIBUTIVE LATTICES-III
Bulletin of the Section of Logic Volume 44:1/2 (2015), pp. 81 93 G. C. Rao, Venugopalam Undurthi CLOSURE OPERATORS ON COMPLETE ALMOST DISTRIBUTIVE LATTICES-III Abstract In this paper, we prove that the
More informationSzigetek. K. Horváth Eszter. Szeged, április 27. K. Horváth Eszter () Szigetek Szeged, április / 43
Szigetek K. Horváth Eszter Szeged, 2010. április 27. K. Horváth Eszter () Szigetek Szeged, 2010. április 27. 1 / 43 Definition/1 Grid, neighbourhood relation K. Horváth Eszter () Szigetek Szeged, 2010.
More informationAn Introduction of Tutte Polynomial
An Introduction of Tutte Polynomial Bo Lin December 12, 2013 Abstract Tutte polynomial, defined for matroids and graphs, has the important property that any multiplicative graph invariant with a deletion
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 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 informationCONGRUENCES OF 2-DIMENSIONAL SEMIMODULAR LATTICES (PROOF-BY-PICTURES VERSION)
CONGRUENCES OF 2-DIMENSIONAL SEMIMODULAR LATTICES (PROOF-BY-PICTURES VERSION) E. T. SCHMIDT Abstract. In this note we describe the congruences of slim semimodular lattices, i.e. of 2-dimensional semimodular
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then
More informationStipulations, multivalued logic, and De Morgan algebras
Stipulations, multivalued logic, and De Morgan algebras J. Berman and W. J. Blok Department of Mathematics, Statistics, and Computer Science University of Illinois at Chicago Chicago, IL 60607 U.S.A. Dedicated
More informationRelations on Hypergraphs
Relations on Hypergraphs John Stell School of Computing, University of Leeds RAMiCS 13 Cambridge, 17th September 2012 Relations on a Set Boolean algebra Converse R = R Complement R = R Composition & residuation
More informationTopological dynamics: basic notions and examples
CHAPTER 9 Topological dynamics: basic notions and examples We introduce the notion of a dynamical system, over a given semigroup S. This is a (compact Hausdorff) topological space on which the semigroup
More informationLecture 4. Algebra, continued Section 2: Lattices and Boolean algebras
V. Borschev and B. Partee, September 21-26, 2006 p. 1 Lecture 4. Algebra, continued Section 2: Lattices and Boolean algebras CONTENTS 1. Lattices.... 1 1.0. Why lattices?... 1 1.1. Posets... 1 1.1.1. Upper
More informationThe Space of Maximal Ideals in an Almost Distributive Lattice
International Mathematical Forum, Vol. 6, 2011, no. 28, 1387-1396 The Space of Maximal Ideals in an Almost Distributive Lattice Y. S. Pawar Department of Mathematics Solapur University Solapur-413255,
More informationLinear Algebra. Preliminary Lecture Notes
Linear Algebra Preliminary Lecture Notes Adolfo J. Rumbos c Draft date April 29, 23 2 Contents Motivation for the course 5 2 Euclidean n dimensional Space 7 2. Definition of n Dimensional Euclidean Space...........
More informationTRANSITIVE AND ABSORBENT FILTERS OF LATTICE IMPLICATION ALGEBRAS
J. Appl. Math. & Informatics Vol. 32(2014), No. 3-4, pp. 323-330 http://dx.doi.org/10.14317/jami.2014.323 TRANSITIVE AND ABSORBENT FILTERS OF LATTICE IMPLICATION ALGEBRAS M. SAMBASIVA RAO Abstract. The
More informationarxiv: v1 [math.ra] 1 Apr 2015
BLOCKS OF HOMOGENEOUS EFFECT ALGEBRAS GEJZA JENČA arxiv:1504.00354v1 [math.ra] 1 Apr 2015 Abstract. Effect algebras, introduced by Foulis and Bennett in 1994, are partial algebras which generalize some
More informationDefinable henselian valuation rings
Definable henselian valuation rings Alexander Prestel Abstract We give model theoretic criteria for the existence of and - formulas in the ring language to define uniformly the valuation rings O of models
More information8. Distributive Lattices. Every dog must have his day.
8. Distributive Lattices Every dog must have his day. In this chapter and the next we will look at the two most important lattice varieties: distributive and modular lattices. Let us set the context for
More informationTHE LATTICE OF SUBVARIETIES OF SEMILATTICE ORDERED ALGEBRAS
THE LATTICE OF SUBVARIETIES OF SEMILATTICE ORDERED ALGEBRAS A. PILITOWSKA 1 AND A. ZAMOJSKA-DZIENIO 2 Abstract. This paper is devoted to the semilattice ordered V-algebras of the form (A, Ω, +), where
More informationCongruence Boolean Lifting Property
Congruence Boolean Lifting Property George GEORGESCU and Claudia MUREŞAN University of Bucharest Faculty of Mathematics and Computer Science Academiei 14, RO 010014, Bucharest, Romania Emails: georgescu.capreni@yahoo.com;
More informationTwo Axioms for Implication Algebras
Notre Dame Journal of Formal Logic Two Axioms for Implication Algebras A. Gareau and R. Padmanabhan Abstract It is well-known that the implicational fragment of the classical propositional calculus has
More informationOn the Structure of Rough Approximations
On the Structure of Rough Approximations (Extended Abstract) Jouni Järvinen Turku Centre for Computer Science (TUCS) Lemminkäisenkatu 14 A, FIN-20520 Turku, Finland jjarvine@cs.utu.fi Abstract. We study
More information1. Propositional Calculus
1. Propositional Calculus Some notes for Math 601, Fall 2010 based on Elliott Mendelson, Introduction to Mathematical Logic, Fifth edition, 2010, Chapman & Hall. 2. Syntax ( grammar ). 1.1, p. 1. Given:
More informationSets and Motivation for Boolean algebra
SET THEORY Basic concepts Notations Subset Algebra of sets The power set Ordered pairs and Cartesian product Relations on sets Types of relations and their properties Relational matrix and the graph of
More informationBoolean Algebras. Chapter 2
Chapter 2 Boolean Algebras Let X be an arbitrary set and let P(X) be the class of all subsets of X (the power set of X). Three natural set-theoretic operations on P(X) are the binary operations of union
More informationFields and Galois Theory. Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory.
Fields and Galois Theory Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory. This should be a reasonably logical ordering, so that a result here should
More informationγ γ γ γ(α) ). Then γ (a) γ (a ) ( γ 1
The Correspondence Theorem, which we next prove, shows that the congruence lattice of every homomorphic image of a Σ-algebra is isomorphically embeddable as a special kind of sublattice of the congruence
More informationCONDITIONS THAT FORCE AN ORTHOMODULAR POSET TO BE A BOOLEAN ALGEBRA. 1. Basic notions
Tatra Mountains Math. Publ. 10 (1997), 55 62 CONDITIONS THAT FORCE AN ORTHOMODULAR POSET TO BE A BOOLEAN ALGEBRA Josef Tkadlec ABSTRACT. We introduce two new classes of orthomodular posets the class of
More informationPETER A. CHOLAK, PETER GERDES, AND KAREN LANGE
D-MAXIMAL SETS PETER A. CHOLAK, PETER GERDES, AND KAREN LANGE Abstract. Soare [20] proved that the maximal sets form an orbit in E. We consider here D-maximal sets, generalizations of maximal sets introduced
More informationExpansions of Heyting algebras
1 / 16 Expansions of Heyting algebras Christopher Taylor La Trobe University Topology, Algebra, and Categories in Logic Prague, 2017 Motivation Congruences on Heyting algebras are determined exactly by
More information1. Tarski consequence and its modelling
Bulletin of the Section of Logic Volume 36:1/2 (2007), pp. 7 19 Grzegorz Malinowski THAT p + q = c(onsequence) 1 Abstract The famous Tarski s conditions for a mapping on sets of formulas of a language:
More informationTopology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved.
Topology Proceedings Web: http://topology.auburn.edu/tp/ Mail: Topology Proceedings Department of Mathematics & Statistics Auburn University, Alabama 36849, USA E-mail: topolog@auburn.edu ISSN: 0146-4124
More informationA SEQUENT SYSTEM OF THE LOGIC R FOR ROSSER SENTENCES 2. Abstract
Bulletin of the Section of Logic Volume 33/1 (2004), pp. 11 21 Katsumi Sasaki 1 Shigeo Ohama A SEQUENT SYSTEM OF THE LOGIC R FOR ROSSER SENTENCES 2 Abstract To discuss Rosser sentences, Guaspari and Solovay
More informationBOOLEAN SUBALGEBRAS OF ORTHOALGEBRAS
OOLEAN SUALGERAS OF ORTHOALGERAS JOHN HARDING, CHRIS HEUNEN, AND MIRKO NAVARA Abstract. Earlier work had shown that every nontrivial orthomodular lattice is characterized by its poset of oolean subalgebras
More information3. FORCING NOTION AND GENERIC FILTERS
3. FORCING NOTION AND GENERIC FILTERS January 19, 2010 BOHUSLAV BALCAR, balcar@math.cas.cz 1 TOMÁŠ PAZÁK, pazak@math.cas.cz 1 JONATHAN VERNER, jonathan.verner@matfyz.cz 2 We now come to the important definition.
More informationContinuity of partially ordered soft sets via soft Scott topology and soft sobrification A. F. Sayed
Bulletin of Mathematical Sciences and Applications Online: 2014-08-04 ISSN: 2278-9634, Vol. 9, pp 79-88 doi:10.18052/www.scipress.com/bmsa.9.79 2014 SciPress Ltd., Switzerland Continuity of partially ordered
More informationG. de Cooman E. E. Kerre Universiteit Gent Vakgroep Toegepaste Wiskunde en Informatica
AMPLE FIELDS G. de Cooman E. E. Kerre Universiteit Gent Vakgroep Toegepaste Wiskunde en Informatica In this paper, we study the notion of an ample or complete field, a special case of the well-known fields
More information11 Annihilators. Suppose that R, S, and T are rings, that R P S, S Q T, and R U T are bimodules, and finally, that
11 Annihilators. In this Section we take a brief look at the important notion of annihilators. Although we shall use these in only very limited contexts, we will give a fairly general initial treatment,
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 informationCOMPACT ORTHOALGEBRAS
COMPACT ORTHOALGEBRAS ALEXANDER WILCE Abstract. We initiate a study of topological orthoalgebras (TOAs), concentrating on the compact case. Examples of TOAs include topological orthomodular lattices, and
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 informationMathematica Bohemica
Mathematica Bohemica Vinayak V. Joshi; B. N. Waphare Characterizations of 0-distributive posets Mathematica Bohemica, Vol. 130 (2005), No. 1, 73 80 Persistent URL: http://dml.cz/dmlcz/134222 Terms of use:
More informationCHAPTER 7. Connectedness
CHAPTER 7 Connectedness 7.1. Connected topological spaces Definition 7.1. A topological space (X, T X ) is said to be connected if there is no continuous surjection f : X {0, 1} where the two point set
More informationGENERALIZED DIFFERENCE POSETS AND ORTHOALGEBRAS. 0. Introduction
Acta Math. Univ. Comenianae Vol. LXV, 2(1996), pp. 247 279 247 GENERALIZED DIFFERENCE POSETS AND ORTHOALGEBRAS J. HEDLÍKOVÁ and S. PULMANNOVÁ Abstract. A difference on a poset (P, ) is a partial binary
More informationA general Stone representation theorem
arxiv:math/0608384v1 [math.lo] 15 Aug 2006 A general Stone representation theorem Mirna; after a paper by A. Jung and P. Sünderhauf and notes by G. Plebanek September 10, 2018 This note contains a Stone-style
More information3 Boolean Algebra 3.1 BOOLEAN ALGEBRA
3 Boolean Algebra 3.1 BOOLEAN ALGEBRA In 1854, George Boole introduced the following formalism which eventually became Boolean Algebra. Definition. An algebraic system consisting of a set B of elements
More informationLinear Algebra. Preliminary Lecture Notes
Linear Algebra Preliminary Lecture Notes Adolfo J. Rumbos c Draft date May 9, 29 2 Contents 1 Motivation for the course 5 2 Euclidean n dimensional Space 7 2.1 Definition of n Dimensional Euclidean Space...........
More informationClosure operators on sets and algebraic lattices
Closure operators on sets and algebraic lattices Sergiu Rudeanu University of Bucharest Romania Closure operators are abundant in mathematics; here are a few examples. Given an algebraic structure, such
More informationNotes on Ordered Sets
Notes on Ordered Sets Mariusz Wodzicki September 10, 2013 1 Vocabulary 1.1 Definitions Definition 1.1 A binary relation on a set S is said to be a partial order if it is reflexive, x x, weakly antisymmetric,
More informationPERVERSE SHEAVES ON A TRIANGULATED SPACE
PERVERSE SHEAVES ON A TRIANGULATED SPACE A. POLISHCHUK The goal of this note is to prove that the category of perverse sheaves constructible with respect to a triangulation is Koszul (i.e. equivalent to
More informationANNIHILATOR IDEALS IN ALMOST SEMILATTICE
BULLETIN OF THE INTERNATIONAL MATHEMATICAL VIRTUAL INSTITUTE ISSN (p) 2303-4874, ISSN (o) 2303-4955 www.imvibl.org /JOURNALS / BULLETIN Vol. 7(2017), 339-352 DOI: 10.7251/BIMVI1702339R Former BULLETIN
More informationStonian p-ortholattices: A new approach to the mereotopology RT 0
Stonian p-ortholattices: A new approach to the mereotopology RT 0 Torsten Hahmann 1 Department of Computer Science University of Toronto, Canada Michael Winter 1 Department of Computer Science Brock University
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 informationSIMPLICIAL COMPLEXES WITH LATTICE STRUCTURES GEORGE M. BERGMAN
This is the final preprint version of a paper which appeared at Algebraic & Geometric Topology 17 (2017) 439-486. The published version is accessible to subscribers at http://dx.doi.org/10.2140/agt.2017.17.439
More informationLATTICE PROPERTIES OF T 1 -L TOPOLOGIES
RAJI GEORGE AND T. P. JOHNSON Abstract. We study the lattice structure of the set Ω(X) of all T 1 -L topologies on a given set X. It is proved that Ω(X) has dual atoms (anti atoms) if and only if membership
More informationLecture 16 : Definitions, theorems, proofs. MTH299 Transition to Formal Mathematics Michigan State University 1 / 8
Lecture 16 : Definitions, theorems, proofs MTH299 Transition to Formal Mathematics Michigan State University 1 / 8 Meanings Definition : an explanation of the mathematical meaning of a word. Theorem :
More informationLattice Theory Lecture 4. Non-distributive lattices
Lattice Theory Lecture 4 Non-distributive lattices John Harding New Mexico State University www.math.nmsu.edu/ JohnHarding.html jharding@nmsu.edu Toulouse, July 2017 Introduction Here we mostly consider
More informationSection 2.2 Set Operations. Propositional calculus and set theory are both instances of an algebraic system called a. Boolean Algebra.
Section 2.2 Set Operations Propositional calculus and set theory are both instances of an algebraic system called a Boolean Algebra. The operators in set theory are defined in terms of the corresponding
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 informationTree sets. Reinhard Diestel
1 Tree sets Reinhard Diestel Abstract We study an abstract notion of tree structure which generalizes treedecompositions of graphs and matroids. Unlike tree-decompositions, which are too closely linked
More informationON A PROBLEM IN ALGEBRAIC MODEL THEORY
Bulletin of the Section of Logic Volume 11:3/4 (1982), pp. 103 107 reedition 2009 [original edition, pp. 103 108] Bui Huy Hien ON A PROBLEM IN ALGEBRAIC MODEL THEORY In Andréka-Németi [1] the class ST
More informationtp(c/a) tp(c/ab) T h(m M ) is assumed in the background.
Model Theory II. 80824 22.10.2006-22.01-2007 (not: 17.12) Time: The first meeting will be on SUNDAY, OCT. 22, 10-12, room 209. We will try to make this time change permanent. Please write ehud@math.huji.ac.il
More informationRough Approach to Fuzzification and Defuzzification in Probability Theory
Rough Approach to Fuzzification and Defuzzification in Probability Theory G. Cattaneo and D. Ciucci Dipartimento di Informatica, Sistemistica e Comunicazione Università di Milano Bicocca, Via Bicocca degli
More information