Results 71 to 80 of about 250,917 (320)

Possibilistic logic as interpretability logic [PDF]

, 1995
It is shown that a variant of qualitative (comparative) possibilistic logic is closely related to modal interpretability logic, as studied in the metamathematics of first-order arithmetic. This contributes to our knowledge on the relations of logics of uncertainty to classical systems of modal logic.
openaire   +2 more sources

Printed Integrated Logic Circuits Based on Chitosan‐Gated Organic Transistors for Future Edible Systems

Advanced Functional Materials, EarlyView.
Edible electronics needs integrated logic circuits for computation and control. This work presents a potentially edible printed chitosan‐gated transistor with a design optimized for integration in circuits. Its implementation in integrated logic gates and circuits operating at low voltage (0.7 V) is demonstrated, as well as the compatibility with an ...
Giulia Coco, Valerio Francesco Annese, Valerio Galli, Ilaria Penna, Debora Russo, Marina Veronesi, Rita Scarpelli, Stefania Sabella, Mario Caironi   +8 more
wiley   +1 more source

The Sessions on Induction and Probability at the 1935 Paris Congress: An overview

Philosophia Scientiæ, 2018
The First International Congress for the Unity of Science (Congrès international de philosophie scientifique) held in Paris in 1935 hosted two sessions devoted to “Induction” and “Probability” respectively. Outstanding representatives of the movement for
Maria Carla Galavotti
doaj   +1 more source

The Science of Philosophy: Discourse and Deception in Plato’s Sophist [PDF]

, 2018
At 252e1 to 253c9 in Plato’s Sophist, the Eleatic Visitor explains why philosophy is a science. Like the art of grammar, philosophical knowledge corresponds to a generic structure of discrete kinds and is acquired by systematic analysis of how these ...
Olof, Pettersson
core   +1 more source

Demonstration of an All‐Optical AND Gate Mediated by Photochromic Molecules

Advanced Functional Materials, EarlyView.
A logic AND gate that runs on photons is demonstrated. It relies on two spatially separated photochromic molecules that work in tandem. Abstract The realization of a photonic logic AND gate, i.e. a logic AND gate that runs on photons rather than electrons, and where all steps are controlled by light, is demonstrated. In a proof‐of‐principle experiment,
Heyou Zhang, Max Gießübel, Pankaj Dharpure, Andrea Albert, Vira Niestierkina, Paul Mulvaney, Mukundan Thelakkat, Jürgen Köhler   +7 more
wiley   +1 more source

An Historical Approximation to the Concept of Logic: Preliminary Results about a Research Project that Promotes the Aesthetic Experience among Preservice Math and Literature Teachers

Ikala: Revista de Lenguaje y Cultura, 2015
The text shows a historical approach to the concept of logic in relation with mathematics. Therefore it exposes the contributions of ancient and medieval logic, and problematizes the approaches of logicism and intuitionism with the idea of providing ...
Rubén Darío Henao, Mónica Moreno Torres   +1 more
doaj  

On Affine Logic and Łukasiewicz Logic

CoRR, 2014
The multi-valued logic of Łukasiewicz is a substructural logic that has been widely studied and has many interesting properties. It is classical, in the sense that it admits the axiom schema of double negation, [DNE]. However, our understanding of Łukasiewicz logic can be improved by separating its classical and intuitionistic aspects.
Rob Arthan, Paulo Oliva
openaire   +2 more sources

Photoswitching Conduction in Framework Materials

Advanced Functional Materials, EarlyView.
This mini‐review summarizes recent advances in state‐of‐the‐art proton and electron conduction in framework materials that can be remotely and reversibly switched on and off by light. It discusses the various photoswitching conduction mechanisms and the strategies employed to enhance photoswitched conductivity.
Helmy Pacheco Hernandez, Stefan Hecht, Wolfgang Wenzel, Lars Heinke, Mariana Kozlowska   +4 more
wiley   +1 more source

Matemática, física y realidad en la obra de Manuel Atria

Síntesis. Revista de Filosofía
The interests of the Chilean engineer and philosopher Manuel Atria Ramírez cover a variety of subjects and disciplines, but most of his published work focuses on philosophy of mathematics and physics.
Juan Eduardo Carreño Pavez, Isidora Puga Serrano, Alejandro Serani Merlo   +2 more
doaj   +1 more source

Des fondements vers l’avant. Sur la rationalité des mathématiques et des sciences formalisées

Philosophia Scientiæ, 2005
Forward foundations. On the rationality of mathematics and of formalized sciences. — The failure of logicism for the question of foundations of mathematics invites us to consider this question under an epistemological point of view, in terms of ...
Michel Paty
doaj   +1 more source