Zobrazeno 1 - 10
of 138
pro vyhledávání: '"03C90"'
This paper makes contributions to "pure" sheaf model theory, the part of model theory in which the models are sheaves over a complete Heyting algebra. We start by outlining the theory in a way we hope is readable for the non-specialist. We then give
Externí odkaz:
http://arxiv.org/abs/2409.18089
In an era where digital threats are increasingly sophisticated, the intersection of Artificial Intelligence and cybersecurity presents both promising defenses and potent dangers. This paper delves into the escalating threat posed by the misuse of AI,
Externí odkaz:
http://arxiv.org/abs/2408.12806
Autor:
Capucci, Matteo
We explore a kind of first-order predicate logic with intended semantics in the reals. Compared to other approaches in the literature, we work predominantly in the multiplicative reals $[0,\infty]$, showing they support three generations of connectiv
Externí odkaz:
http://arxiv.org/abs/2406.04936
Autor:
Ponse, Alban, Staudt, Daan J. C.
We consider a family of two-valued "fully evaluated left-sequential logics" (FELs), of which Free FEL (defined by Staudt in 2012) is most distinguishing (weakest) and immune to atomic side effects. Next is Memorising FEL, in which evaluations of sube
Externí odkaz:
http://arxiv.org/abs/2403.14576
Autor:
Carr, James
A canonical result in model theory is the homomorphism preservation theorem which states that a first-order formula is preserved under homomorphisms on all structures if and only if it is equivalent to an existential-positive formula, standardly prov
Externí odkaz:
http://arxiv.org/abs/2403.00217
Autor:
Bergstra, Jan A., Ponse, Alban
Both two-valued and three-valued conditional logic (CL), defined by Guzm\'an and Squier (1990) and based on McCarthy's non-commutative connectives, axiomatise a short-circuit logic (SCL) that defines more identities than MSCL (Memorising SCL), which
Externí odkaz:
http://arxiv.org/abs/2304.14821
Autor:
Papuc, Dalia, Ponse, Alban
Short-circuit evaluation denotes the semantics of propositional connectives in which the second argument is evaluated only if the first argument does not suffice to determine the value of the expression. In programming, short-circuit evaluation is wi
Externí odkaz:
http://arxiv.org/abs/2203.09321
Autor:
Ludkowski, S. V.
The article is devoted to homological complexes. Smashly graded modules and complexes are studied over nonassociative algebras with metagroup relations. Smashed tensor products of homological complexes are investigated. Their homotopisms and homologi
Externí odkaz:
http://arxiv.org/abs/2012.10415
Autor:
Fjellstad, Andreas, Olsen, Jan-Fredrik
In this note, we show that the first-order logic IK$^\omega$ is sound with regard to the models obtained from continuum-valued \L{}ukasiewicz-models for first-order languages by treating the quantifiers as infinitary strong disjunction/conjunction ra
Externí odkaz:
http://arxiv.org/abs/2011.06991
Autor:
Pierobon, Moreno, Viale, Matteo
Boolean valued models for a signature $\mathcal{L}$ are generalizations of $\mathcal{L}$-structures in which we allow the $\mathcal{L}$-relation symbols to be interpreted by boolean truth values. For example, for elements $a,b\in\mathcal{M}$ with $\m
Externí odkaz:
http://arxiv.org/abs/2006.14852