相关论文: An Intermediate Logic Contained in Medvedev's Logi…

Disjunctive Logic Programming (\DLP) is an advanced formalism for Knowledge Representation and Reasoning (KRR). \DLP is very expressive in a precise mathematical sense: it allows to express every property of finite structures that is…

The simplest supersymmetry (SUSY) algebra in four dimensional Euclidean space ($4dE$) has been shown to closely resemble the $N = 2$ SUSY algebra in four dimensional Minkowski space ($4dM$). The structure of the former algebra is examined…

Logic Programs with Ordered Disjunction (LPODs) extend classical logic programs with the capability of expressing alternatives with decreasing degrees of preference in the heads of program rules. Despite the fact that the operational…

We define a weak notion of universality in symbolic dynamics and, by generalizing a proof of Mike Hochman, we prove that this yields necessary conditions on the forbidden patterns defining a universal subshift: These forbidden patterns are…

We prove a biadjoint triangle theorem and its strict version, which are $2$-dimensional analogues of the adjoint triangle theorem of Dubuc. Similarly to the $1$-dimensional case, we demonstrate how we can apply our results to get the…

In Apt and Bezem [AB99] (see cs.LO/9811017) we provided a computational interpretation of first-order formulas over arbitrary interpretations. Here we complement this work by introducing a denotational semantics for first-order logic.…

There has been renewed interest in recent years in McKinsey and Tarski's interpretation of modal logic in topological spaces and their proof that S4 is the logic of any separable dense-in-itself metric space. Here we extend this work to the…

The power of the disconjugacy properties of second-order differential equations of Schr\"odinger type to check the regularity of rationally-extended quantum potentials connected with exceptional orthogonal polynomials is illustrated by…

We show that the self-duality defined in [Trautman, Int.J.Theor.Phys.,{\bf 16},561 (1977)] is equivalent to strong self-duality defined in [Bilge, Dereli and Kocak, Lett.Math.Phys., {\bf 36}, 301-309, (1996)] and we obtain an upper bound on…

The KLM approach to defeasible reasoning introduces a weakened form of implication into classical logic. This allows one to incorporate exceptions to general rules into a logical system, and for old conclusions to be withdrawn upon learning…

In the first part of the talk, I explain what empirical evidence points to the need for having an effective grand unification-like symmetry possessing the symmetry SU(4)-color in 4D. If one assumes the premises of a future predictive theory…

In recent research on non-monotonic logic programming, repeatedly strong equivalence of logic programs P and Q has been considered, which holds if the programs P union R and Q union R have the same answer sets for any other program R. This…

Recently, it has been argued by Kuklov et al., that unusual features associated with the superflow-through-solid effect observed in solid He4 can be explained by unique properties of dilute distribution of superfluid edge dislocations. We…

Rational word languages can be defined by several equivalent means: finite state automata, rational expressions, finite congruences, or monadic second-order (MSO) logic. The robust subclass of aperiodic languages is defined by: counter-free…

The logic of bunched implications (BI) is a substructural logic that forms the backbone of separation logic, the much studied logic for reasoning about heap-manipulating programs. Although the proof theory and metatheory of BI are…

We explore a proof language for intuitionistic multiplicative additive linear logic, incorporating the sup connective that introduces additive pairs with a probabilistic elimination, and sum and scalar products within the proof-terms. We…

For many reasoning-heavy tasks involving raw inputs, it is challenging to design an appropriate end-to-end learning pipeline. Neuro-Symbolic Learning, divide the process into sub-symbolic perception and symbolic reasoning, trying to utilise…

We introduce DeepPSL a variant of probabilistic soft logic (PSL) to produce an end-to-end trainable system that integrates reasoning and perception. PSL represents first-order logic in terms of a convex graphical model -- hinge-loss Markov…

We interpret the dynamics of Supersymmetric QCD (SQCD) in terms of ideas familiar from the hadronic world. Some mysterious properties of the supersymmetric theory, such as the emergent magnetic gauge symmetry, are shown to have analogs in…

Among the many important geometric properties of quantum state space are: transitivity of the group of symmetries of the cone of unnormalized states on its interior (homogeneity), identification of this cone with its dual cone of effects…