Results 231 to 240 of about 1,036,043 (288)
An "Inside-Out" Strategy Enables a 14-Step Total Synthesis of Hispidospermidin. [PDF]
JACS AuAmber C +4 more
europepmc +1 more source
Logic-gated fluorescent biosensor integrating aptamer recognition and oxidative cleavage-responsive DNA circuit for myeloperoxidase detection. [PDF]
J Transl MedShi BY +4 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Embedding Logics into Product Logic
Studia Logica, 1998zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Baaz, Matthias +3 more
openaire +1 more source
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
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)].
Horčík, Rostislav, Cintula, Petr
openaire +2 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)].
Horčík, Rostislav, Cintula, Petr
openaire +2 more sources
Soft Computing - A Fusion of Foundations, Methodologies and Applications, 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.
R. J. Adillon, V. Verdú
openaire +1 more source
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.
R. J. Adillon, V. Verdú
openaire +1 more source
Analytic Calculi for Product Logics
Archive for Mathematical Logic, 2004This interesting paper offers a considerable progress in the proof theory for two product-related t-norm-based propositional infinite-valued logics: for the standard product logic \(\Pi\) and for the cancellative hoop logic \textbf{CHL}. The authors first give hypersequent calculi for these logics, then introduce sequent calculi for labelled formulae ...
Metcalfe, G, Olivetti, N, Gabbay, D
openaire +3 more sources