Results 211 to 220 of about 73,209 (264)
Paneugenesis: a regenerative systems hypothesis for advancing health promotion. [PDF]
Front Public HealthBecker CM +5 more
europepmc +1 more source
Editorial: High performance sports coaching and athlete transition. [PDF]
Front Sports Act LivingJones L, Avner Z, Boardman N.
europepmc +1 more source
Cognitive sovereignty and neuro-justice: neurotechnological advancements and mental autonomy in the Global South. [PDF]
Front Public HealthSaracini C.
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Soft Computing, 1998
In this paper we prove that the class of product algebras is a variety of bounded hoops, that this variety is the equivalent algebraic semantics (in the sense of [1]) of Product logic [11] and that the only axiomatic extension of Product logic that has the Deduction–Detachment Theorem is the Classical propositional logic.
Romà J. Adillon, Ventura Verdú
exaly +2 more sources
In this paper we prove that the class of product algebras is a variety of bounded hoops, that this variety is the equivalent algebraic semantics (in the sense of [1]) of Product logic [11] and that the only axiomatic extension of Product logic that has the Deduction–Detachment Theorem is the Classical propositional logic.
Romà J. Adillon, Ventura Verdú
exaly +2 more sources
Archive for Mathematical Logic, 2004
The authors develop a so-called product Łukasiewicz logic \(P{\L}\) which has the class of product MV-algebras as its semantic counterpart. These algebras have been investigated, e.g., by \textit{A. Di Nola} and \textit{A. Dvurečenskij} [Mult.-Valued Log. 6, No. 1--2, 193--215 (2001; Zbl 1016.06006)].
Rostislav Horčík +2 more
exaly +3 more sources
The authors develop a so-called product Łukasiewicz logic \(P{\L}\) which has the class of product MV-algebras as its semantic counterpart. These algebras have been investigated, e.g., by \textit{A. Di Nola} and \textit{A. Dvurečenskij} [Mult.-Valued Log. 6, No. 1--2, 193--215 (2001; Zbl 1016.06006)].
Rostislav Horčík +2 more
exaly +3 more sources
Embedding Logics into Product Logic
Studia Logica, 1998zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Matthias Baaz +3 more
openaire +1 more source
On the Products of Linear Modal Logics
Journal of Logic and Computation, 2001Two-dimensional Cartesian products of modal logics determined by infinite or arbitrarily long finite linear orders are studied. It is proved that in many cases these products are undecidable (in particular the squares of standard linear logics like \textbf{K4.3, S4.3, GL.3, Grz.3} or the logic determined by the Cartesian square of any infinite linear ...
Mark Reynolds 0001 +1 more
openaire +3 more sources
Product Łukasiewicz Quantum Logic
International Journal of Theoretical Physics, 2010zbMATH Open Web Interface contents unavailable due to conflicting licenses.
BERTINI, Cesarino, LEPORINI, Roberto
openaire +3 more sources