Results 241 to 250 of about 1,036,043 (288)

Multimo dal Logics of Products of Topologies

Studia Logica, 2006
If modal logics \(L_1,L_2\) with modalities \(\square_1,\square_2\) are determined by classes \(\mathbb{F}_1,\mathbb{F}_{2}\) of Kripke frames, then \(L_1 \times L_2\) is determined by the class of products \(\mathbb{F}_1 \times \mathbb{F}_{2}= \langle W_1 \times W_2,R_1,R_2\rangle\) and is axiomatized (by D. Gabbay and V.
van Benthem, J., Bezhanishvili, G., ten Cate, B., Sarenac, D.   +3 more
openaire   +3 more sources

Product Logic, Gödel Logic (and Boolean Logic)

1998
We are going to investigate the second of the three most important prepositional calculi, namely PC(*II) where *II is the product t-norm; we shall call this logic just the product logic and denote it by II. Recall that the corresponding implication is Goguen and the corresponding negation is Godel negation (cf. 2.1.11,2.1.17).
openaire   +1 more source

Finite-valued approximations of product logic

Proceedings 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2000), 2002
In this paper we shall propose a method for the reduction of the problem of decidability in propositional infinite-valued Product Logic to suitably determined finite-valued approximating logics. In order to do so, functions associated with formulas of product logic are defined and their properties are exploited.
AGUZZOLI S, GERLA, BRUNELLA
openaire   +3 more sources

Products of Modal Logics. Part 3: Products of Modal and Temporal Logics

Studia Logica, 2002
In this paper we improve the results of [2] by proving the product f.m.p. for the product of minimal n-modal and minimal n-temporal logic. For this case we modify the finite depth method introduced in [1]. The main result is applied to identify new fragments of classical first-order logic and of the equational theory of relation algebras, that are ...
Gabbay, D, Shehtman, V
openaire   +2 more sources

Sum logics and tensor products

Foundations of Physics, 1993
A notion of factorizability for vector-valued measures on a quantum logic L enables us to pass from abstract logics to Hilbert space logics and thereby to construct tensor products. A claim by Kruszynski that, in effect, every orthogonally scattered measure is factorizable is shown to be false. Some criteria for factorizability are found.
Robin L. Hudson, Sylvia Pulmannov�
openaire   +1 more source

Products of Logics

1981
As pointed out by Gudder,1 the problem of providing a definition of tensor product for general quantum logics seems to be unavoidable if a theory of quantum measurement is addressed and developed in the context of quantum logics. More specifically, suppose we have two physical systems Σ and \(\tilde \Sigma\) with corresponding logics L and \(\tilde L\).
openaire   +1 more source

The Tensor Product of Operational Logics

Canadian Journal of Mathematics, 1986
The concept of an operational logic has been developed by Randall and Foulis ([l]-[4], [10], [11]) as a part of a larger effort to obtain a formalism suitable for expressing, comparing, and evaluating various approaches to empirical science, statistics, and in particular, quantum mechanics.
openaire   +1 more source

Topological-Frame Products of Modal Logics

Studia Logica, 2017
There are many ways to construct a multi-modal logic from given uni-modal logics. For example, in the case of bi-modal logic for the sake of simplicity, the fusion of two (propositional normal) uni-modal logics is defined as the least (normal) bi-modal logic such that each uni-modal fragment includes the corresponding given uni-modal logic respectively.
openaire   +2 more sources

Tensor product of quantum logics

Journal of Mathematical Physics, 1985
A quantum logic is the couple (L,M) where L is an orthomodular σ-lattice and M is a strong set of states on L. The Jauch–Piron property in the σ-form is also supposed for any state of M. A ‘‘tensor product’’ of quantum logics is defined. This definition is compared with the definition of a free orthodistributive product of orthomodular σ-lattices.
openaire   +2 more sources

Products of modal logics

1998
Abstract Let F1 = (W1, R1),F2 = (W2, R2) be two Kripke frames describing two independent systems of possible worlds (or ‘states ‘). Suppose we need to construct a complex frame F combining them both.
openaire   +1 more source