Related papers: Twist-Valued Models for Three-valued Paraconsisten…
Model checking linear-time properties expressed in first-order logic has non-elementary complexity, and thus various restricted logical languages are employed. In this paper we consider two such restricted specification logics, linear…
Chain of thought is a natural inference-time method for increasing the computational power of transformer-based large language models (LLMs), but comes at the cost of sequential decoding. Are there more efficient alternatives to expand a…
We analyze the precise modal commitments of several natural varieties of set-theoretic potentialism, using tools we develop for a general model-theoretic account of potentialism, building on those of Hamkins, Leibman and L\"owe, including…
A theory of recursive definitions has been mechanized in Isabelle's Zermelo-Fraenkel (ZF) set theory. The objective is to support the formalization of particular recursive definitions for use in verification, semantics proofs and other…
The W_3 algebra of central charge 6/5 is realized as a subalgebra of the vertex operator algebra V_{\sqrt{2}A_2} associated with a lattice of type \sqrt{2}A_2 by using both coset construction and orbifold theory. It is proved that W_3 is…
We introduce parabolic presentations of twisted Yangians of types AI and AII, interpolating between the R-matrix presentation and the Drinfeld presentation. Then we formulate and provide parabolic presentations for the shifted twisted…
In recent years, a variety of variants of multiple zeta values (MZVs) have been defined and studied. One way to produce these variants is to restrict the indices in the definition of MZVs to some fixed parity pattern, which include…
An invariant for twisted K theory classes on a 3-manifold is introduced. The invariant is then applied to the twisted equivariant classes arising from the supersymmetric Wess-Zumino-Witten model based on the group SU(2). It is shown that…
We present two explicit rational formulae for Bachelier, or normal, implied volatility. The formulae take the option price, forward, strike, and expiry as inputs and return the implied normal volatility without iteration. They follow the…
We devise a {\sl non--perturbative} method, called {\sl Parametric Perturbation Theory} (PPT), which is alternative to the ordinary perturbation theory. The method relies on a principle of simplicity for the observable solutions, which are…
The main result of this paper is a combinatorial description of a basis of standard level 1 module for the twisted affine Lie algebra $A_2^{(2)}.$ This description also gives two new combinatorial identities of G\"ollnitz (or…
This paper proposes the meeting of fuzzy logic with paraconsistency in a very precise and foundational way. Specifically, in this paper we introduce expansions of the fuzzy logic MTL by means of primitive operators for consistency and…
The algebraic and combinatorial theory of shuffles, introduced by Chen and Ree, is further developed and applied to the study of multiple zeta values. In particular, we establish evaluations for certain sums of cyclically generated multiple…
Small additive ensembles of symbolic rules offer interpretable prediction models. Traditionally, these ensembles use rule conditions based on conjunctions of simple threshold propositions $x \geq t$ on a single input variable $x$ and…
Symmetry-protected topological phases have been a central theme in condensed matter physics and beyond over the past two decades. Most efforts have focused on topological classifications of physical systems under given symmetries, while the…
Paraorthomodular posets are bounded partially ordered set with an antitone involution induced by quantum structures arising from the logico-algebraic approach to quantum mechanics. The aim of the present work is starting a systematic…
The Hamiltonian structure of a class of three-dimensional (3D) Lotka-Volterra (LV) equations is revisited from a novel point of view by showing that the quadratic Poisson structure underlying its integrability structure is just a real…
Vector space models of word meaning all share the assumption that words occurring in similar contexts have similar meanings. In such models, words that are similar in their topical associations but differ in their logical force tend to…
Multiples zeta values and alternating multiple zeta values in positive characteristic were introduced by Thakur and Harada as analogues of classical multiple zeta values of Euler and Euler sums. In this paper we determine all linear…
The present study shows how to enrich De Morgan algebras with a perfection operator that allows one to express the Boolean properties of negation-consistency and negation-determinedness. The variety of perfect paradefinite algebras thus…