Results 71 to 80 of about 9,150 (266)

Boolean basis, formula size, and number of modal operators [PDF]

Logical Methods in Computer Science
Is it possible to write significantly smaller formulae when using Boolean operators other than those of the De Morgan basis (and, or, not, and the constants)?
Christoph Berkholz, Dietrich Kuske, Christian Schwarz   +2 more
doaj   +1 more source

Cylindric Modal Logic

Journal of Symbolic Logic, 1995
AbstractTreating the existential quantification ∃νi as a diamond ♢i and the identity νi = νj as a constant δij, we study restricted versions of first order logic as if they were modal formalisms. This approach is closely related to algebraic logic, as the Kripke frames of our system have the type of the atom structures of cylindric algebras; the full ...
openaire   +4 more sources

Spectrally Selective Bipolar Self‐Powered Opto‐Synaptic Responses in Tandem 2D van Der Waals Ferroelectric Heterojunctions

Advanced Functional Materials, EarlyView.
Tandem 2D vdW ferroelectric heterojunctions enable spectrally selective, self‐powered bipolar opto‐synaptic responses for retinal ON/OFF bipolar cell emulation and wavelength‐programmable logic operations. This work establishes vdW ferroelectric heterojunctions as a compelling materials platform for energy‐efficient, adaptive, and human‐like artificial
Rajiv Kumar Pandey, Chang Yong Park, Cheolhwa Jang, Taeho Kang, Sungjoo Lee   +4 more
wiley   +1 more source

MINIMAL MODAL LOGICS, CONSTRUCTIVE MODAL LOGICS AND THEIR RELATIONS

The Review of Symbolic Logic
AbstractWe present a family of minimal modal logics (namely, modal logics based on minimal propositional logic) corresponding each to a different classical modal logic. The minimal modal logics are defined based on their classical counterparts in two distinct ways: (1) via embedding into fusions of classical modal logics through a natural extension of ...
openaire   +3 more sources

Modalities in vector logic.

Notre Dame Journal of Formal Logic, 1994
The core idea of vector logic is to represent the classical truth values \(W\), \(F\) as two linearly independent vectors \(a_ 1\), \(a_ 2\) of some real vector space, and to represent truth functions by matrices. This idea is first extended to the many-valued case in taking the convex hull of \(\{a_ 1, a_ 2\}\) as set of truth degrees.
openaire   +3 more sources

Embedded Ferroelectric Nanoclusters Can Drive Polarization Reversal in a Non‐Ferroelectric Polar Film via the Proximity Effect

Advanced Functional Materials, EarlyView.
Ferroelectric nanoclusters create local internal fields in a normally non‐switchable polar film because of polarization mismatch at their interfaces. That field opposes polarization in the regions with larger polarization and reinforces polarization in the regions with smaller polarization.
Anna N. Morozovska, Eugene A. Eliseev, Sergei V. Kalinin, Long‐Qing Chen, Dean R. Evans, Venkatraman Gopalan   +5 more
wiley   +1 more source

Encoding Modal Logics in Logical Frameworks

Studia Logica, 1998
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Avron, Arnon, HONSELL, Furio, MICULAN, Marino, Paravano, Cristian   +3 more
openaire   +3 more sources

A Bioinspired Sensory‐CAPode With Dual Functionality: Logic Gate and Real‐Time Biosensing

Advanced Functional Materials, EarlyView.
An electrochemical capacitor diode (CAPode) redefines the frontier of iontronics by seamlessly unifying logic computing and biosensing within a single biocompatible platform. Inspired by nature's own ion‐channel circuitry, this elegant ionic system transforms complex chemical signals into precise electrical responses, paving the way for next‐generation
Hanfeng Zhou, Tianle Zheng, Haolin Jin, Xiongjun Zhou, Jiang Qu, Bilal Riaz, Ahmed Bahrawy, Jiajie Chen, Przemyslaw Galek, Julia Grothe, Stefan Kaskel   +10 more
wiley   +1 more source

An In Situ Oxidation Strategy for Ti3C2@TiO2 Heterojunction: Narrow‐Band Photodetection and Trace Chromium Ion Determination

Advanced Functional Materials, EarlyView.
A Ti3C2@TiO2 heterostructure has been successfully fabricated by an in situ oxidation approach. The as‐fabricated Ti3C2@TiO2‐based photodetector exhibits narrow‐spectrum response with excellent stability. It also realizes sensitive Cr(VI) detection in a large concentration range of 10−12–10−6 M with an ultra‐low detection limit of 7.6 × 10−12 M ...
Jiahui Hou, Jiale Ai, Mingqi He, Yang Wu, Lingniu Yang, Yingjie Yuan, Xuanhao Lao, Artem V. Kuklin, Liang Chen, Hans Ågren, Lingfeng Gao, Youju Huang   +11 more
wiley   +1 more source

Gate‐Programmable Linearization of Atomically Thin Nanoelectromechanical Resonators via Duffing Nonlinearity Cancellation

Advanced Functional Materials, EarlyView.
Gate bias is used to cancel Duffing nonlinearity in atomically thin MoS2 drumhead resonators, switching their response from hardening to softening and creating a nearly linear operating point. This electrical control suppresses hysteresis, enables stronger linear drive, and improves signal‐to‐noise ratio, offering a practical route to stable 2D NEMS ...
Pengcheng Zhang, Miroslav Haluska, Cosmin Roman, Christofer Hierold   +3 more
wiley   +1 more source