Results 1 to 10 of about 595 (40)
A Heyting Algebra on Dyck Paths of Type $A$ and $B$ [PDF]
, 2016 In this article we investigate the lattices of Dyck paths of type $A$ and $B$ under dominance order, and explicitly describe their Heyting algebra structure.
Mühle, Henri
core +1 more source
Linear Systems over Join-Blank Algebras [PDF]
, 2017 A central problem of linear algebra is solving linear systems. Regarding linear systems as equations over general semirings (V,otimes,oplus,0,1) instead of rings or fields makes traditional approaches impossible.
Jananthan, Hayden +2 more
core +2 more sources
Semilattices global valuations in the topos approach to quantum mechanics [PDF]
, 2017 In the framework of the topos approach to quantum mechanics a kind of global valuation is introduced and studied. It allows us to represent certain features related to the logical consequences of properties about quantum systems when its phase space is ...
de Ronde, Christian +2 more
core +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
Fuzzy n‐Fold Filters of Pseudoresiduated Lattices
International Journal of Mathematics and Mathematical Sciences, Volume 2015, Issue 1, 2015., 2015 Given a pseudoresiduated lattice M and a lattice L, we introduce and characterize the fuzzy versions of different n‐fold implicative (resp., obstinate, Boolean, normal, and extended involutive) filters of M. Moreover, we study some relationships between these different types of fuzzy n‐fold filters.
Albert Kadji +3 more
wiley +1 more source
Partial Inner Product Spaces: Some Categorical Aspects
Advances in Mathematical Physics, Volume 2011, Issue 1, 2011., 2011 We make explicit in terms of categories a number of statements from the theory of partial inner product spaces (PIP‐spaces) and operators on them. In particular, we construct sheaves and cosheaves of operators on certain PIP‐spaces of practical interest.
Jean-Pierre Antoine +3 more
wiley +1 more source
Stone-Type Dualities for Separation Logics [PDF]
, 2019 Stone-type duality theorems, which relate algebraic and relational/topological models, are important tools in logic because -- in addition to elegant abstraction -- they strengthen soundness and completeness to a categorical equivalence, yielding a ...
Docherty, Simon, Pym, David
core +2 more sources
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
On an Intuitionistic Logic for Pragmatics [PDF]
, 2018 We reconsider the pragmatic interpretation of intuitionistic logic [21] regarded as a logic of assertions and their justications and its relations with classical logic.
Bellin, Gianluigi +2 more
core +1 more source
Topos Theory and Consistent Histories: The Internal Logic of the Set of all Consistent Sets [PDF]
, 1996 A major problem in the consistent-histories approach to quantum theory is contending with the potentially large number of consistent sets of history propositions. One possibility is to find a scheme in which a unique set is selected in some way. However,
C. J. Isham +32 more
core +2 more sources