Results 211 to 220 of about 165,816 (266)
Algebraic, abstract algebraic and behavioral approaches to logical systems. Part II
The Reasoner, 2010 Piotr Wilczek
doaj
Algebraic, abstract algebraic and behavioral approaches to logical systems. Part I
The Reasoner, 2010 Piotr Wilczek
doaj
Some of the next articles are maybe not open access.
Related searches:
Related searches:
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 +1 more source
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 +1 more source
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 +1 more source
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 +1 more source
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 +1 more source
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 +1 more source