Results 31 to 40 of about 3,353 (149)
Complete Boolean algebras are Bousfield lattices
, 2017 Given a complete Heyting algebra we construct an algebraic tensor triangulated category whose Bousfield lattice is the Booleanization of the given Heyting algebra.
AK Bousfield +9 more
core +1 more source
A Topos Foundation for Theories of Physics: I. Formal Languages for Physics [PDF]
, 2007 This paper is the first in a series whose goal is to develop a fundamentally new way of constructing theories of physics. The motivation comes from a desire to address certain deep issues that arise when contemplating quantum theories of space and time ...
A. Döring +15 more
core +3 more sources
Heyting algebras with dual pseudocomplementation [PDF]
Pacific Journal of Mathematics, 1985 An algebra \((L;\vee,\wedge,\to,+,0,1)\) is said to be an \(H_+\)-algebra if (L;\(\vee,\wedge,\to,0,1)\) is a Heyting algebra and \(+\) is the dual pseudocomplement in L, i.e. \(x\geq a^+\) iff \(x\vee a=1\). The class of all \(H_+\)-algebras is equational and comprises double Heyting algebras as well as regular double p-algebras.
openaire +3 more sources
Esakia duals of regular Heyting algebras
Algebra universalis, 2023 AbstractWe investigate in this article regular Heyting algebras by means of Esakia duality. In particular, we give a characterisation of Esakia spaces dual to regular Heyting algebras and we show that there are continuum-many varieties of Heyting algebras generated by regular Heyting algebras. We also study several logical applications of these classes
Grilletti, Gianluca +1 more
openaire +3 more sources
Lattice-Valued Convergence Spaces: Weaker Regularity and p-Regularity
Abstract and Applied Analysis, 2014 By using some lattice-valued Kowalsky’s dual diagonal conditions, some weaker regularities for Jäger’s generalized stratified L-convergence spaces and those for Boustique et al’s stratified L-convergence spaces are defined and studied.
Lingqiang Li, Qiu Jin
doaj +1 more source
Demonstratio Mathematica, 1986 In this paper the theory of probability on Boolean algebras is generalized dealing with probability functions defined on Heyting algebras. The author formulates several results similar to those of classical probability theory.
openaire +2 more sources
When do L-fuzzy ideals of a ring generate a distributive lattice?
Open Mathematics, 2016 The notion of L-fuzzy extended ideals is introduced in a Boolean ring, and their essential properties are investigated. We also build the relation between an L-fuzzy ideal and the class of its L-fuzzy extended ideals.
Gao Ninghua, Li Qingguo, Li Zhaowen
doaj +1 more source
The internal description of a causal set: What the universe looks like from the inside [PDF]
, 1999 We describe an algebraic way to code the causal information of a discrete spacetime. The causal set C is transformed to a description in terms of the causal pasts of the events in C.
Markopoulou, Fotini
core +2 more sources
Endomorphisms of complete heyting algebras
Semigroup Forum, 1997 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Pultr, A., Sichler, J.
openaire +2 more sources
Where Mathematical Symbols Come From
Topics in Cognitive Science, Volume 18, Issue 1, Page 169-186, January 2026.Abstract There is a sense in which the symbols used in mathematical expressions and formulas are arbitrary. After all, arithmetic would be no different if we would replace the symbols ‘+$+$’ or ‘8’ by different symbols. Nevertheless, the shape of many mathematical symbols is in fact well motivated in practice.
Dirk Schlimm
wiley +1 more source