相关论文: The Logic of CMV-Algebras
Computability logic is a formal theory of computational tasks and resources. Its formulas represent interactive computational problems, logical operators stand for operations on computational problems, and validity of a formula is…
Cirquent calculus is a proof system with inherent ability to account for sharing subcomponents in logical expressions. Within its framework, this article constructs an axiomatization CL18 of the basic propositional fragment of computability…
We introduce proper display calculi for basic monotonic modal logic, the conditional logic CK and a number of their axiomatic extensions. These calculi are sound, complete, conservative and enjoy cut elimination and subformula property. Our…
Computability logic is a formal theory of computability. The earlier article "Introduction to cirquent calculus and abstract resource semantics" by Japaridze proved soundness and completeness for the basic fragment CL5 of computability…
Complete MV-algebras are naturally equipped with frame structures. We call them MV-frames and investigate some of their main the properties as frames. We completely characterized algebraic MV-frames as well as regular MV-frames. In…
The survey of the current state of the theory of Krichever-Novikov algebras including new results on local central extensions, invariants, representations and casimir operators.
The paper consists of two parts. The first part is devoted to logic for universal algebraic geometry. The second one deals with problems and some results. It may be regarded as a brief exposition of some ideas from the book in progress:…
We construct a De Morgan algebra-valued logic with quantifiers, where the truth values are in a finite De Morgan algebra, We show that there is a representation theorem of the cylindric algebra of this logic from which a completeness…
Counting propositional logic was recently introduced in relation to randomized computation and shown able to logically characterize the full counting hierarchy. In this paper we aim to clarify the intuitive meaning and expressive power of…
We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propositional logics connected to them.
In this article we determine the implicational fragments of most of the known subintuitionistic logics.
We give some properties of cosymplectic Lie algebras, we show, in particular, that they support a left symmetric product. We also give some constructions of cosymplectic Lie algebras, as well as a classification in three and…
The aim of this paper is to give an alternative proof of Kac's theorem for weighted projective lines (\cite{W}) over the complex field. The geometric realization of complex Lie algebras arising from derived categories (\cite{XXZ}) is…
This article describes recent work on the topic of specifying properties of transition systems. By giving a suitably abstract description of transition systems as coalgebras, it is possible to derive logics for capturing properties of these…
Using polyadic MV algebras, we show that many predicate many valued logics have the interpolation property.
The multivariate quantum $q$-Krawtchouk polynomials are shown to arise as matrix elements of "$q$-rotations" acting on the state vectors of many $q$-oscillators. The focus is put on the two-variable case. The algebraic interpretation is…
In this paper we suggest a definition for a C*-algebra attached to an injective morphism of some \'Etale groupoid. We take into account all the peculiarities of such objects and present some interesting relations with already well-known…
New Orlicz Brunn-Minkowski inequalities are established for rigid motion compatible Minkowski valuations of arbitrary degree. These extend classical log-concavity properties of intrinsic volumes and generalize seminal results of Lutwak and…
We find an interpretation of the complex of variational calculus in terms of the Lie conformal algebra cohomology theory. This leads to a better understanding of both theories. In particular, we give an explicit construction of the Lie…
The paper explores properties of the {\L}ukasiewicz {\mu}-calculus, or {\L}{\mu} for short, an extension of {\L}ukasiewicz logic with scalar multiplication and least and greatest fixed-point operators (for monotone formulas). We observe…