Results 71 to 80 of about 86,968 (310)

Logics with Impossibility as the Negation and Regular Extensions of the Deontic Logic D2 [PDF]

, 2017
In [1] J.-Y. Bèziau formulated a logic called Z. Bèziau’s idea was generalized independently in [6] and [7]. A family of logics to which Z belongs is denoted in [7] by K.
Mruczek-Nasieniewska, Krystyna, Nasieniewski, Marek   +1 more
core   +1 more source

Proof search and counter-model construction for bi-intuitionistic propositional logic with labelled sequents [PDF]

, 2009
Bi-intuitionistic logic is a conservative extension of intuitionistic logic with a connective dual to implication, called exclusion. We present a sound and complete cut-free labelled sequent calculus for bi-intuitionistic propositional logic ...
Pinto, Luís F., Uustalu, Tarmo
core   +1 more source

Spectrally Tunable 2D Material‐Based Infrared Photodetectors for Intelligent Optoelectronics

Advanced Functional Materials, EarlyView.
Intelligent optoelectronics through spectral engineering of 2D material‐based infrared photodetectors. Abstract The evolution of intelligent optoelectronic systems is driven by artificial intelligence (AI). However, their practical realization hinges on the ability to dynamically capture and process optical signals across a broad infrared (IR) spectrum.
Junheon Ha, Yingshan Ma, Yong Nam An, Sung‐Un An, Hyeon Hak Jung, Suvi‐Tuuli Varjamo, Jiwon Yoo, Junho Min, Hanvit Kim, Faisal Ahmed, Sang Hoon Chae, Young Min Song, Weiwei Cai, Tawfique Hasan, Zhipei Sun, Dong‐Ho Kang, Hyeon‐Jin Shin, Yunyun Dai, Hoon Hahn Yoon   +18 more
wiley   +1 more source

Methods for Solving Necessary Equivalences [PDF]

, 2004
Nonmonotonic Logics such as Autoepistemic Logic, Reflective Logic, and Default Logic, are usually defined in terms of set-theoretic fixed-point equations defined over deductively closed sets of sentences of First Order Logic.
Brown, Frank
core  

Trap‐Assisted Transport and Neuromorphic Plasticity in Lead‐Free 2D Perovskites PEA2SnI4

Advanced Functional Materials, EarlyView.
An artificial retina built from lead‐free layered perovskite (PEA)2SnI4 converts light input into a persistent photocurrent and sums successive flashes over time. Micro/nanocrystals integrated on electrodes act as synapse‐like pixels that perform temporal integration directly in hardware. This in‐sensor preprocessing merges detection and computation on
Ofelia Durante, Valeria Demontis, Jonas Riisnaes Karl, Lam Hoi Tung, Sebastiano De Stefano, Daniela Marongiu, Adolfo Mazzotti, Aditya Bhardwaj, Francesco Mattana, Elisa Pili, Selene Matta, Federico Paolucci, Michele Saba, Andrea Mura, Giovanni Bongiovanni, Monica F Craciun, Saverio Russo, Antonio Di Bartolomeo   +17 more
wiley   +1 more source

A Syntactic Proof of the Decidability of First-Order Monadic Logic

Bulletin of the Section of Logic
Decidability of monadic first-order classical logic was established by Löwenheim in 1915. The proof made use of a semantic argument and a purely syntactic proof has never been provided.
Eugenio Orlandelli, Matteo Tesi
doaj   +1 more source

Carbon Contacts to Proteins Enable Robust, Biocompatible Electronic Junctions with Near‐Activation‐less Conduction Down to 10 K

Advanced Functional Materials, EarlyView.
A robust solid‐state protein junction with a semi‐transparent eC/Au electrode allows photoexcitation of the bacterio‐rhodopsin, bR layer, to isomerize the bR retinal. The resulting photo‐response shows the protein is functional in the solid‐state junction.
Shailendra K. Saxena, Sudipta Bera, Tatyana Bendikov, Israel Pecht, Mordechai Sheves, David Cahen   +5 more
wiley   +1 more source

Lewis meets Brouwer: constructive strict implication

, 2017
C. I. Lewis invented modern modal logic as a theory of "strict implication". Over the classical propositional calculus one can as well work with the unary box connective.
Litak, Tadeusz, Visser, Albert
core   +1 more source

Ultrasound‐Triggered Gelation for Restoring Biomechanical Properties of Degenerated Functional Spinal Units

Advanced Healthcare Materials, EarlyView.
This study introduces an innovative approach to treating intervertebral disc degeneration using ultrasound‐triggered in situ hydrogel formation. Proof‐of‐concept experiments using optimized biomaterial and ultrasound parameters demonstrate partial restoration of biomechanical function and successful integration into degenerated disc tissue, offering a ...
Veerle A. Brans, Anna P. Constantinou, Matthew J. Kibble, Valeria Nele, Daniel Reumann, Luca Bau, Sebastien J. P. Callens, James P. K. Armstrong, Nicolas Newell, Constantin C. Coussios, Molly M. Stevens, Michael D. Gray   +11 more
wiley   +1 more source

FIVE STEPS TO RESPONSIBILITY - DOI: 10.12818/P.0304-2340.2013v63p125

Revista da Faculdade de Direito da Universidade Federal de Minas Gerais, 2014
Responsibility has entered the academic discourse of logicians hardly more than few decades ago. I suggest a logical concept of responsibility which employs ideas both from a number of theories belonging to different branches of logic as well from other
Elena Lisanyuk
doaj   +4 more sources