Results 61 to 70 of about 1,788,157 (286)

From Translations to Non-Collapsing Logic Combinations

Bulletin of the Section of Logic
Prawitz suggested expanding a natural deduction system for intuitionistic logic to include rules for classical logic constructors, allowing both intuitionistic and classical elements to coexist without losing their inherent characteristics.
João Rasga, Cristina Sernadas
doaj   +1 more source

Feedback and generalized logic

Information and Control, 1976
Although the distinction between software and hardware is a posteriori, there is an a priori distinction that masquerades as the software—hardware distinction. This is the distinction between procedure interconnection, the semantics of flow chart diagrams, which is known to be described by the regular expression calculus; and system interconnection ...
openaire   +1 more source

Dependence logic with generalized quantifiers: Axiomatizations [PDF]

Journal of Computer and System Sciences, 2013
We prove two completeness results, one for the extension of dependence logic by a monotone generalized quantifier Q with weak interpretation, weak in the meaning that the interpretation of Q varies with the structures. The second result considers the extension of dependence logic where Q is interpreted as "there exists uncountable many." Both of the ...
Fredrik Engström, Juha Kontinen, Jouko Väänänen   +2 more
openaire   +7 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

La passivité de la logique

Methodos, 2009
What is the path in Husserl that takes us from formal to transcendental logic? Does it follow Kant’s course from “general logic” to “transcendental logic”, or does the mathematical character of modern logic divest it of the possibility of serving as a ...
James Dodd
doaj   +1 more source

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

Exposing Fake Logic [PDF]

, 2018
Exposing Fake Logic by Avi Sion is a collection of essays written after publication of his book A Fortiori Logic, in which he critically responds to derivative work by other authors who claim to know better.
Sion, Avi
core  

Integration of Low‐Voltage Nanoscale MoS2 Memristors on CMOS Microchips

Advanced Functional Materials, EarlyView.
This article presents the first monolithic integration of nanoscale MoS2‐based memristors into the back‐end‐of‐line of foundry‐fabricated CMOS microchips in a one‐transistor‐one‐resistor (1T1R) architecture. The MoS2‐based 1T1R cells exhibit forming‐free, nonvolatile resistive switching with ultra‐low operating voltages, low cycle‐to‐cycle variability ...
Jimin Lee, Sofía Cruces, Xiaohua Liu, Yang Chen, Vasilis A. Maroufidis, Janghyun Jo, Lukas Völkel, Dennis Braun, Michael Möller, Leon Brackmann, Holger Kalisch, Michael Heuken, Andrei Vescan, Rafal E. Dunin‐Borkowski, Joachim Mayer, Stefan Wiefels, Max C. Lemme   +16 more
wiley   +1 more source

To Teach Critical Thinking and Clear Speaking. Postulates of Criticism and Clarity and the Issue of So Called General Logic

Studia Semiotyczne, 2020
DOI: http://doi.org/10.26333/stsen.xxxi.01 In the paper, I have presented a portrait of Jerzy Pelc as a teacher. He followed in the footsteps of Kazimierz Twardowski and his direct disciples and tried to develop his students’ skills of critical ...
doaj  

The general principles and requirements to construction of methodical learning system of mathematical logic with use of information technologies.

Ìнформаційні технології в освіті, 2008
Sinko Yuri. “The general principles and requirements to construction of methodical learning system of mathematical logic with use of information technologies”. In the article the speech goes about implementation of new information technologies in process
Y. I. Sinko
doaj