Results 341 to 350 of about 1,803,872 (361)
Some of the next articles are maybe not open access.
Molecular logic gates: the past, present and future
Chemical Society Reviews, 2018Safacan Kolemen +2 more
exaly
Magnetic skyrmions: advances in physics and potential applications
Nature Reviews Materials, 2017Albert Fert +2 more
exaly
Molecules with a sense of logic: a progress report
Chemical Society Reviews, 2015Joakim Andréasson, Uwe Pischel
exaly
Interpolation for fragments of intermediate logics
1985Our task is to prove the following theorem. There exists a family \({\mathfrak F}\) of propositional fragments such that \(| {\mathfrak F}| =2^{\aleph_ 0}\), each fragment of \({\mathfrak F}\) contains the implication connective and for every logic L satisfying INT\(\subseteq L\subsetneqq CL\) (INT \(=\) intuitionistic propositional logic, CL ...
openaire +2 more sources
Loosely Guarded Fragment of First-Order Logic has the Finite Model Property
Studia Logica: An International Journal for Symbolic Logic, 2002I. Hodkinson
semanticscholar +1 more source

