相关论文: An extension of Kracht's theorem to generalized Sa…

We consider a quantified version of the (propositional) modal logic $\mathsf{BK}$, proposed earlier by S. P. Odintsov and H. Wansing; this version will be denoted by $\mathsf{QBK}$. Using the canonical model method, we prove the strong…

In 1929 Heisenberg and Pauli laid the foundations of QFT by quantizing the fields (method of canonical quantization). This general theory of quantized fields has remained undisputed up to now. We show how the unmodified Heisenberg-Pauli…

We expand the notion of characteristic formula to infinite finitely presentable subdirectly irreducible algebras. We prove that there is a continuum of varieties of Heyting algebras containing infinite finitely presentable subdirectly…

In a first part we propose an introduction to multisymplectic formalisms, which are generalisations of Hamilton's formulation of Mechanics to the calculus of variations with several variables: we give some physical motivations, related to…

We define generalized bialgebras and Hopf algebras and on this basis we introduce quantum categories and quantum groupoids. The quantization of the category of linear (super)spaces is constructed. We establish a criterion for the classical…

The Scott process of a relational structure $M$ is the sequence of sets of formulas given by the Scott analysis of $M$. We present axioms for the class of Scott processes of structures in a relational vocabulary $\tau$, and use them to give…

The general structure of the Sp(2) covariant version of the field-antifield quantization of general constrained systems in the Lagrangian formalism, the so called triplectic quantization, as presented in our previous paper with…

By fundamental results of Sch\"utzenberger, McNaughton and Papert from the 1970s, the classes of first-order definable and aperiodic languages coincide. Here, we extend this equivalence to a quantitative setting. For this, weighted automata…

We provide first order perturbation formulas for the matrix square root (in the positive semi-definite case) and the matrix modulus (in the general case). The results are new for singular matrices, and extend previously known Fr\'{e}chet…

The present paper is the companion of [1] in which we proposed a scheme that tries to derive the Quantum Field Theory (QFT) on Curved Spacetimes (CST) limit from background independent Quantum General Relativity (QGR). The constructions of…

This paper develops a categorical framework to clarify the relationship between the completeness and compactness theorems in classical first-order logic. Rather than claiming that different model constructions yield naturally isomorphic…

Canonical coordinates for the Schr\"odinger equation are introduced, making more transparent its Hamiltonian structure. It is shown that the Schr\"odinger equation, considered as a classical field theory, shares with Liouville completely…

Sandqvist gave a proof-theoretic semantics (P-tS) for classical logic (CL) that explicates the meaning of the connectives without assuming bivalance. Later, he gave a semantics for intuitionistic propositional logic (IPL). While soundness…

While modal extensions of decidable fragments of first-order logic are usually undecidable, their monodic counterparts, in which formulas in the scope of modal operators have at most one free variable, are typically decidable. This only…

We present an extension and generalization of Sahlqvist--Van Benthem correspondence to the case of distribution-free modal logic, with, or without negation and/or implication connectives. We follow a reductionist strategy, reducing the…

Canonical formulas are a powerful tool for studying intuitionistic and modal logics. Actually, they provide a uniform and semantic way to axiomatise all extensions of intuitionistic logic and all modal logics above K4. Although the method…

For the first time, a general fractional calculus of arbitrary order was proposed by Yuri Luchko in the works Mathematics 9(6) (2021) 594 and Symmetry 13(5) (2021) 755. In these works, the proposed approaches to formulate this calculus are…

Intuitionistic conditional logic, studied by Weiss, Ciardelli and Liu, and Olkhovikov, aims at providing a constructive analysis of conditional reasoning. In this framework, the would and the might conditional operators are no longer…

The study of Description Logics have been historically mostly focused on features that can be translated to decidable fragments of first-order logic. In this paper, we leave this restriction behind and look for useful and decidable…

In this text, we develop the theory of vectorial modular forms with values in Tate algebras introduced by the first author, in a very special case (dimension two, for a very particular representation of {\Gamma} := GL 2 (Fq[$theta$])).…