Results 271 to 280 of about 86,588 (304)

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.
Johan van Benthem, Guram Bezhanishvili, Balder ten Cate, Darko Sarenac   +3 more
openaire   +3 more sources

LSS: A system for production logic synthesis

IBM Journal of Research and Development, 1984
For some time we have been exploring methods of transforming functional specifications into hardware implementations that are suitable for production. The complexity of this task and the potential value have continued to grow with the increasing complexity of processor design and the mounting pressure to shorten machine design times.
John A. Darringer, Daniel Brand, John V. Gerbi, William H. Joyner Jr., Louise Trevillyan   +4 more
openaire   +1 more source

Complexity of products of modal logics

Journal of Logic and Computation, 1999
A product of Kripke frames is the product of their underlying sets with the original relations preserved along the corresponding coordinates. Products of frames and products of logics were introduced by the reviewer [Math. Notes 23, 417-424 (1978); translation from Mat.
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

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

On states on the product of logics

International Journal of Theoretical Physics, 1981
We take up the question of when a state (= σ-additive measure) on the product of logics (=σ-orthomodular posets) depends on at most countably many coordinates. We show that it is always so provided there are no real-measurable cardinals. The manner of dependence is a kind of convex combination. We derive some consequences of the latter statement.
Manasova, V., Pták, P.
openaire   +1 more source

Reduced products and nonstandard logics

Journal of Symbolic Logic, 1969
The results of the present paper were announced in [1]. The work is divided into our parts. In the first part we define relations (relations between relational struc tures) and we show their connection with the equivalence of the languages LΚ,λ (Theorem 1).
openaire   +2 more sources

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

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

Production logic synthesis

Proceedings of the 1985 ACM thirteenth annual conference on Computer Science - CSC '85, 1985
John A. Darringer, Daniel Brand, William H. Joyner Jr., Louise Trevillyan, John V. Gerbi   +4 more
openaire   +1 more source