相关论文: Positive Amalgamation
We investigate the possibility of extending the non-functionally complete logic of a collection of Boolean connectives by the addition of further Boolean connectives that make the resulting set of connectives functionally complete. More…
Cumulative logics are studied in an abstract setting, i.e., without connectives, very much in the spirit of Makinson's early work. A powerful representation theorem characterizes those logics by choice functions that satisfy a weakening of…
Algebraic and combinatorial properties of a monomial ideal and its radical are compared.
Interpolation is an important property of classical and many non-classical logics that has been shown to have interesting applications in computer science and AI. Here we study the Interpolation Property for the the non-monotonic system of…
We prove twist positivity and positivity of the pair correlation function for combined spatial and internal symmetries of free bosonic Lagrangians. We work in a general setting, extending the results obtained in Twist Positivity [1].
We investigate some properties of regularity of homomorphisms of local algebras over positive characteristic fields. We state a result of monomialization of such a homomorphism between algebras of analytic or algebraic power series. From…
We review the motivation and fundamental properties of the Hausdorff dimension of metric spaces and illustrate this with a number of examples, some of which are expected and well-known. We also give examples where the Hausdorff dimension…
We prove that for the intermediate logics with the disjunction property any basis of admissible rules can be reduced to a basis of admissible m-rules (multiple-conclusion rules), and every basis of admissible m-rules can be reduced to a…
Let $f : A \rightarrow B$ be a ring homomorphism and $J$ be an ideal of $B$. In this paper, we investigate the transfer of Gaussian property to the amalgamation of $A$ with $B$ along $J$ with respect to $f$ (denoted by $A\bowtie^fJ),$…
We bring forward a logical system of transition algebras that enhances many-sorted first-order logic using features from dynamic logics. The sentences we consider include compositions, unions, and transitive closures of transition…
''Positive geometries'' are a class of semi-algebraic domains which admit a unique ''canonical form'': a logarithmic form whose residues match the boundary structure of the domain. The study of such geometries is motivated by recent…
Let $f:A \rightarrow B$ be a ring homomorphism and let $J$ be an ideal of $B$. In this paper, we study the amalgamation of $A$ with $B$ along $J$ with respect to $f$, a construction that provides a general frame for studying the amalgamated…
We give a complete proof for the implication from the Manin-Mumford conjecture to the Mordell-Lang conjecture in positive characteristic, using integral models of semi-abelian varieties over a ring of formal power series, and the machinery…
We study the symmetry properties of autonomous integrating factors from an algebraic point of view. The symmetries are delineated for the resulting integrals treated as equations and symmetries of the integrals treated as functions or…
In recent years, the intersection of algebra, geometry, and combinatorics with particle physics and cosmology has led to significant advances. Central to this progress is the twofold formulation of the study of particle interactions and…
We bring an abstract model theory perspective to interpolation. We ask, what is the role of interpolation in the study of extensions of first order logic, such as infinitary logics, generalized quantifiers and higher order logics? The…
We follow a stream of the history of positive matrices and positive functionals, as applied to algebraic sums of squares decompositions, with emphasis on the interaction between classical moment problems, function theory of one or several…
The paper presents several combinatorial properties of the boolean cumulants. A corollary is a new proof of the multiplicative property of the boolean cumulant series that can be easily adapted for the case of boolean independence with…
We consider cones in a Hilbert space associated to two von Neumann algebras and determine when one algebra is included in the other. If a cone is assocated to a von Neumann algebra, the Jordan structure is naturally recovered from it and we…
We develop a second-order extension of intuitionistic modal logic, allowing quantification over propositions, both syntactically and semantically. A key feature of second-order logic is its capacity to define positive connectives from the…