Related papers: A Simplified and Improved Free-Variable Framework …
Possibility theory offers a framework where both Lehmann's "preferential inference" and the more productive (but less cautious) "rational closure inference" can be represented. However, there are situations where the second inference does…
To develop a unitary quantum theory with probabilistic description for pseudo- Hermitian systems one needs to consider the theories in a different Hilbert space endowed with a positive definite metric operator. There are different…
This work deals with the definability problem by quantifier-free first-order formulas over a finite algebraic structure. We show the problem to be coNP-complete and present two decision algorithms based on a semantical characterization of…
We establish the existence and uniqueness of finite free resolutions - and their attendant Betti numbers - for graded commuting d-tuples of Hilbert space operators. Our approach is based on the notion of free cover of a (perhaps…
Finsler's lemma is a classic mathematical result with applications in control and optimization. When the lemma is applied to parameter-dependent LMIs, as such those that arise from problems of robust stability, the extra variables…
The classical Hilbert space formulation of the axioms of Quantum Mechanics appears to leave open the question whether the Hermitian operators which are associated with the observables of a finite non-relativistic quantum system are uniquely…
In this paper we initiate the study of real operator monotonicity for functions of tuples of operators, which are multivariate structured maps with a functional calculus called free functions that preserve the order between real parts (or…
Recently 't Hooft demonstrated that ``For any quantum system there exists at least one deterministic model that reproduces all its dynamics after prequantization''. An extension is presented here which covers quantum systems that are…
Inspired by the recent work of Filho et al., a Hermitian momentum operator is introduced in a general curved space with diagonal metric. The modified Hamiltonian associated with this new momentum is calculated and discussed. Furthermore,…
This paper presents rules of inference for a binary quantifier $I$ for the formalisation of sentences containing definite descriptions within intuitionist positive free logic. $I$ binds one variable and forms a formula from two formulas.…
We give a dimension independent formulation of the quantum search algorithm introduced in [L. K. Grover, Phys. Rev. Lett. {\bf 79}, 325 (1997)]. This algorithm provides a quadratic gain when compared to its classical counterpart by…
Quantum mechanics owes much of its extraordinary success to a Hilbertian program of mathematical formalization. Yet, the formalism remains poorly aligned with the practical limitations of computations in finite dimensions and under finite…
Hamiltonian Mechanics works for conserved systems and Quantum Mechanics is given in Hamiltonian language. It is considered that complexifying the quantum Hamiltonian, a balanced loss and gain model can be created. The usual mathematics of…
This paper surveys the common approach to quantification and generalised quantification in formal linguistics and philosophy of language. We point out how this general setting departs from empirical linguistic data, and give some hints for…
We propose a purely extensional semantics for higher-order logic programming. In this semantics program predicates denote sets of ordered tuples, and two predicates are equal iff they are equal as sets. Moreover, every program has a unique…
Uniform one-dimensional fragment UF1^= is a formalism obtained from first-order logic by limiting quantification to applications of blocks of existential (universal) quantifiers such that at most one variable remains free in the quantified…
We address the problem of complementing higher-order patterns without repetitions of existential variables. Differently from the first-order case, the complement of a pattern cannot, in general, be described by a pattern, or even by a…
Sentences containing definite descriptions, expressions of the form `The $F$', can be formalised using a binary quantifier $\iota$ that forms a formula out of two predicates, where $\iota x[F, G]$ is read as `The $F$ is $G$'. This is an…
We present an Hilbert space formulation for a set of implied volatility models introduced in \cite{BraceGoldys01} in which the authors studied conditions for a family of European call options, varying the maturing time and the strike price…
The exchange operator formalism previously introduced for the Calogero problem is extended to the three-body Calogero-Marchioro-Wolfes one. In the absence of oscillator potential, the Hamiltonian of the latter is interpreted as a free…