Results 91 to 100 of about 339,779 (297)

Inquisitive bisimulation

, 2018
Inquisitive modal logic InqML is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are ...
Ciardelli, Ivano, Otto, Martin
core   +1 more source

Organic Electrochemical Transistors for Neuromorphic Devices and Applications

Advanced Materials, EarlyView.
Organic electrochemical transistors are emerging as promising platforms for neuromorphic devices that emulate neuronal and synaptic activities and can seamlessly integrate with biological systems. This review focuses on resultant organic artificial neurons, synapses, and integrated devices, with an emphasis on their ability to perform neuromorphic ...
Kexin Xiang, Jiajun Song, Hong Liu, Junxin Chen, Feng Yan   +4 more
wiley   +1 more source

Truth as a Mathematical Object

Principia: An International Journal of Epistemology, 2010
In this paper we discuss in which sense truth is considered as a mathematical object in propositional logic. After clarifying how this concept is used in classical logic, through the notions of truth-table, truth-function and bivaluation, we examine some
Jean-Yves Béziau
doaj  

The dawn of paraconsistency: Russia's logical thought in the turn of XX century

Manuscrito, 2011
The paper deals with the factors which enabled N. A. Vasiliev to put forward in 1910 - 12 the idea of logics free of the laws of contradiction and excluded middle, the idea of metalogic and to construct his imaginary logic as novel non-classical system ...
Valentin A. Bazhanov
doaj   +1 more source

The ubiquity of conservative translations

, 2012
We study the notion of conservative translation between logics introduced by Feitosa and D'Ottaviano. We show that classical propositional logic (CPC) is universal in the sense that every finitary consequence relation over a countable set of formulas can
da Silva, D’Ottaviano, D’Ottaviano, D’Ottaviano, D’Ottaviano, EMIL JEŘÁBEK, Galatos, Lau, Post   +8 more
core   +1 more source

Materials and System Design for Self‐Decision Bioelectronic Systems

Advanced Materials, EarlyView.
This review highlights how self‐decision bioelectronic systems integrate sensing, computation, and therapy into autonomous, closed‐loop platforms that continuously monitor and treat diseases, marking a major step toward intelligent, self‐regulating healthcare technologies.
Qiankun Zeng, Hong Liu, Yongheng Zhang, Youbin Zheng, Xuyin Ding, Mengni Zhu, Guoyue Shi, Yan Wang, Hossam Haick, Min Zhang   +9 more
wiley   +1 more source

Validity of the laws of Non-contradiction and Excluded middle; Logical or Psychological (Review of misunderstandings and misinterpretations, self-made accusations and types of fallacies in a criticism) [PDF]

حکمت معاصر
In Classical Logic, the law of non-contradiction and the law of excluded middle are considered theorems and have proof. Recently, Morteza Hajihosseini has written a book titled Two Non-Classical Logic Systems, A New Outlook on Elements of Logic (2017 ...
Morteza Hajihosseini, Mohammad Hossein Esfandiari   +1 more
doaj   +1 more source

Programmable Dimensional Lithography with Digital Micromirror Devices for Multifunctional Microarchitectures

Advanced Materials Technologies, EarlyView.
This review explores recent advances in digital micromirror device (DMD)‐based lithography, focusing on its programmable light modulation, multi‐material compatibility, and dimensional patterning strategies. It highlights innovations from optical system design to materials integration and multifunctional applications, positioning DMD lithography as a ...
Yubin Lee, Byungcheon Yoo, Chaeyeong Ryu, Jongwon Oh, Dahye Baek, Jiseok Lee   +5 more
wiley   +1 more source

Flux Analysis of the Supercapacitor Performance at Component Level

Advanced Materials Technologies, EarlyView.
The central objective of this study is to introduce new approach and metrics for analyzing the supercapacitor performance at the component level. The lack of standardized evaluation methodologies for analyzing the nonlinear behavior of real system is critical and hinders progress of supercapacitor.
Hyacinthe Randriamahazaka, Van Bui‐Thi‐Tuyet, Christine Ranjan   +2 more
wiley   +1 more source

A logic with temporally accessible iteration [PDF]

, 2008
Deficiency in expressive power of the first-order logic has led to developing its numerous extensions by fixed point operators, such as Least Fixed-Point (LFP), inflationary fixed-point (IFP), partial fixed-point (PFP), etc.
Lisitsa, Alexei
core   +2 more sources