Results 251 to 260 of about 9,801,063 (300)
Some of the next articles are maybe not open access.
A Logic for Information Systems
Studia Logica, 1997zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Dmitry A. Archangelsky +1 more
openaire +2 more sources
Studia Logica, 2012
The paper follows the study of lattice-valued logic LL and quantum logic QL, as introduced in [\textit{S. Titani}, Arch. Math. Logic 38, No. 6, 395--421 (1999; Zbl 0936.03048); in: Handbook of quantum logic and quantum structures. Quantum logic. Amsterdam: Elsevier/North-Holland. 661--702 (2009; Zbl 1273.03151)].
Satoko Titani +2 more
openaire +2 more sources
The paper follows the study of lattice-valued logic LL and quantum logic QL, as introduced in [\textit{S. Titani}, Arch. Math. Logic 38, No. 6, 395--421 (1999; Zbl 0936.03048); in: Handbook of quantum logic and quantum structures. Quantum logic. Amsterdam: Elsevier/North-Holland. 661--702 (2009; Zbl 1273.03151)].
Satoko Titani +2 more
openaire +2 more sources
Logic and probabilistic systems
Archive for Mathematical Logic, 1996The notion of a probabilistic system, based on the two predicates of the form \(R (\varphi, q) =\) ``the probability value of \(\varphi\) is eventually \(\leq q\)'' and \(S (\varphi, q) = \) ``the probability value of \(\varphi\) is eventually \(\geq q\)'', can be defined as a pair \(\langle R,S \rangle\) of relations between sentences and rational ...
MONTAGNA F., SIMI G., SORBI A.
openaire +2 more sources
A logic for biological systems
Biosystems, 2000This paper proposes a specification language, hybrid projection temporal logic of modelling, analyzing and verifying biological systems which can be considered, in general, to be hybrid systems consisting of a non-trivial mixture of discrete and continuous components.
Z, Duan, M, Holcombe, A, Bell
openaire +2 more sources
Systems of Logical Systems: Neuroscience and Quantum Logic
Foundations of Science, 2002zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Journal of Logic and Computation, 2005
This paper describes a diagrammatic system of propositional logic in which propositions are taken to be vectors or displacements in a 'logical space'.
Jonathan Westphal, Jim Hardy
openaire +2 more sources
This paper describes a diagrammatic system of propositional logic in which propositions are taken to be vectors or displacements in a 'logical space'.
Jonathan Westphal, Jim Hardy
openaire +2 more sources
Cybernetics and Systems, 2002
In this paper the authors develop a dialectical logic of complex system notions within a mathematical linguistic theory of models. In the set of notions defined in a system, it is considered an order relationship and the Boole Algebra of the notions. This study obtains a tool, which is the metatheoretical base of such theory.
Yolanda Villacampa-Esteve +3 more
openaire +2 more sources
In this paper the authors develop a dialectical logic of complex system notions within a mathematical linguistic theory of models. In the set of notions defined in a system, it is considered an order relationship and the Boole Algebra of the notions. This study obtains a tool, which is the metatheoretical base of such theory.
Yolanda Villacampa-Esteve +3 more
openaire +2 more sources
Journal of Robotic Systems, 1984
AbstractMultisensor systems require a coherent and efficient treatment of the information provided by the various sensors. We propose a framework, the Logical Sensor Specification System, in which the sensors can be defined abstractly in terms of computational processes operating on the output from other sensors.
Tom Henderson, Esther D. Shilcrat
openaire +2 more sources
AbstractMultisensor systems require a coherent and efficient treatment of the information provided by the various sensors. We propose a framework, the Logical Sensor Specification System, in which the sensors can be defined abstractly in terms of computational processes operating on the output from other sensors.
Tom Henderson, Esther D. Shilcrat
openaire +2 more sources
1989
This is an advanced study of systems of propositional logic which offers a comprehensive account of a wide variety of logical systems and which encourages students to take a critical stance towards the subject. A great variety of systems and subsystems are defined and compared as regards their deductive power and relation to their model theory ...
openaire +1 more source
This is an advanced study of systems of propositional logic which offers a comprehensive account of a wide variety of logical systems and which encourages students to take a critical stance towards the subject. A great variety of systems and subsystems are defined and compared as regards their deductive power and relation to their model theory ...
openaire +1 more source