相关论文: Two Squares of Opposition: for Analytic and Synthe…

Traditional oppositions are at least two-dimensional in the sense that they are built based on a famous bidimensional object called square of oppositions and on one of its extensions such as Blanch\'e's hexagon. Instead of two-dimensional…

Following J.-Y.B\'eziau in his pioneer work on non-standard interpretations of the traditional square of opposition, we have applied the abstract structure of the square to study the relation of opposition between states in superposition in…

In Aristotelian logic, categorical propositions are divided in Universal Affirmative, Universal Negative, Particular Affirmative and Particular Negative. Possible relations between two of the mentioned type of propositions are encoded in…

We study the square of opposition and its various geometric generalizations from an algebraic viewpoint. In particular, we show how the various shapes of oppositions can be framed under an algebraic framework and we illustrate this approach…

Various semantics for studying the square of opposition and the hexagon of opposition have been proposed recently. We interpret sentences by imprecise (set-valued) probability assessments on a finite sequence of conditional events. We…

Aristotle considered particular quantified sentences in his study of syllogisms and in his famous square of opposition. Of course, the logical formulas in Aristotle work were not modern formulas of mathematical logic, but ordinary sentences…

Given a composition of two commutative squares, one well-known pullback lemma says that if both squares are pullbacks, then their composition is also a pullback; another well-known pullback lemma says that if the composed square is a…

Some binary quadratic operads are endowed with anticyclic structures and their characteristic functions as anticyclic operads are determined, or conjectured in one case.

In this paper, it is proved that every sufficiently large even integer can be represented as the sum of two squares of primes, two cubes of primes, two biquadrates of primes and 16 powers of 2. Furthermore, there are at least 5.313% odd…

Here is a square problem: in a unit square, is there a point with four rational distances to the vertices? A probability argument suggests a negative answer. This paper proves several special cases of the square problem: if the point sits…

We demonstrate that there are infinitely many integers that cannot be expressed as the sum of two squares of integers and up to two non-negative integer powers of 2.

Let $R_s(n)$ denote the number of representations of the positive number $n$ as the sum of two squares and $s$ biquadrates. When $s=3$ or $4$, it is established that the anticipated asymptotic formula for $R_s(n)$ holds for all $n\le X$…

In this paper we consider the phenomenon of superpositions in quantum mechanics and suggest a way to deal with the idea in a logical setting from a syntactical point of view, that is, as subsumed in the language of the formalism, and not…

We provide an alternative proof that $\sqrt{2}$ is irrational that does not begin with the assumption that $\sqrt{2}$ is in fact rational.

Some sum of squares (SOS) polynomials admit decomposition certificates, or positive semidefinite Gram matrices, with additional structure. In this work, we use the structure of Gram matrices to relate the representation theory of $SL(2)$ to…

We advocate an account of dualities between physical theories: the basic idea is that dual theories are isomorphic representations of a common core. We defend and illustrate this account, which we call a Schema, in relation to symmetries.…

In this paper we give a construction for a linear quotient ordering of a class of products of two ideals which have linear quotients. We apply this construction to give a class of modified anticycle graphs whose square and cube have linear…

Motivated by the problem of finding resistances among vertices in a hypercube, we derive exact expressions, generating functions, and asymptotic expansions for these resistances, then study the combinatorial interpretations of the…

We start by considering binary words containing the minimum possible numbers of squares and antisquares (where an antisquare is a word of the form $x \overline{x}$), and we completely classify which possibilities can occur. We consider…

Recently there was proposeda hypothesis about existence of the two large extradimensions. This hypothesis demands, e.g., modification of Newton law at submilimeter scale. In this brief report we show that this hypothesis cannot be correct…