相关论文: E. Specker: "The logic of non-simultaneously decid…

French translation, by Henri Lombardi and Stefan Neuwirth, of the article "Did Euclid need the Euclidean algorithm to prove unique factorization?", American Mathematical Monthly 113 (2006), pages 196-205.

Extensions of the Kochen-Specker theorem use quantum logics whose classical interpretation suggests a true-implies-value indefiniteness property. This can be interpreted as an indication that any view of a quantum state beyond a single…

Argumentation is a non-monotonic process. This reflects the fact that argumentation involves uncertain information, and so new information can cause a change in the conclusions drawn. However, the base logic does not need to be…

We extend de Finetti's [Ann. Inst. H. Poincar\'{e} 7 (1937) 1--68] notion of exchangeability to finite and countable sequences of variables, when a subject's beliefs about them are modelled using coherent lower previsions rather than…

We update our paper: The collapse of Bell determinism (Physics Letters A, 359 (2006): 122-125; available online 16 June 2006). First, we point out that Olivier Brunet, using lattice theoretic methods, has recently, and quite independently,…

Linear logic was conceived in 1987 by Girard and, in contrast to classical logic, restricts the usage of the structural inference rules of weakening and contraction. With this, atoms of the logic are no longer interpreted as truth, but as…

Defeasible reasoning is a simple but efficient approach to nonmonotonic reasoning that has recently attracted considerable interest and that has found various applications. Defeasible logic and its variants are an important family of…

Epistemic logic programs constitute an extension of the stable models semantics to deal with new constructs called subjective literals. Informally speaking, a subjective literal allows checking whether some regular literal is true in all…

Reply to a comment by T. Rakovszky, F. Pollmann, and C. W von Keyserlingk [arXiv:2010.07969].

We develop a logic which enables reasoning about single steps of non-deterministic parallel Abstract State Machines (ASMs). Our logic builds upon the unifying logic introduced by Nanchen and St\"ark for reasoning about hierarchical…

Euler evaluates the integrals in the title and recognizes a recursion between them, which he then uses to give continued fractions for the log and arctan. The paper is translated from Euler's Latin original into German.

In this paper, we address the task of spoken language understanding. We present a method for translating spoken sentences from one language into spoken sentences in another language. Given spectrogram-spectrogram pairs, our model can be…

Did we really hope to get away with The Goedelian Argument? A critical response to J. R. Lucas' 1996 articulation of his 1961 argument.

This work lists and describes the main recent strategies for building fixed-length, dense and distributed representations for words, based on the distributional hypothesis. These representations are now commonly called word embeddings and,…

Possibilistic logic, an extension of first-order logic, deals with uncertainty that can be estimated in terms of possibility and necessity measures. Syntactically, this means that a first-order formula is equipped with a possibility degree…

Rejoinder to "The Future of Indirect Evidence" [arXiv:1012.1161]

In a 2008 paper, Spekkens improved the traditional notions of non-negativity of Wigner-style quasi-probability distributions and non-contextuality of observations. He showed that the two improved notions are equivalent to each other. Then…

We examine the relationship between the Bayesian and information-theoretic formulations of source separation algorithms. This work makes use of the relationship between the work of Claude E. Shannon and the "Recent Contributions" by Warren…

We prove the intersection of Igusa's Conjecture of [Igusa, J., "Lectures on forms of higher degree", Lect. math. phys., Springer-Verlag, 59 (1978)] and the Denef - Sperber Conjecture of [Denef, J. and Sperber, S., "Exponential sums mod p^n…

Almost two decades ago, Wattenberg published a paper with the title 'Nonstandard Analysis and Constructivism?' in which he speculates on a possible connection between Nonstandard Analysis and constructive mathematics. We study Wattenberg's…