Results 271 to 280 of about 4,158,085 (300)

Total Solution-Processed Zr: HfO₂ Flexible Memristor with Tactile Sensitivity: From Material Synthesis to Application in Wearable Electronics. [PDF]

Sensors (Basel)
Yao L, Jia Y.
europepmc   +1 more source

Using Natural Language Processing in the LACE Index Scoring Tool to Predict Unplanned Trauma and Surgical Readmissions in South Africa. [PDF]

World J Surg
Tokac U, Chipps J, Brysiewicz P, Bruce J, Clarke D.   +4 more
europepmc   +1 more source

Design and simulation of control strategy for medium and high speed zone of ship's main propulsion motor. [PDF]

Sci Rep
Langtao Y, Guangyin L, Yiran R.
europepmc   +1 more source

Photothermal Polarimetric Nanoscopy: An Emerging Technique for Fingerprinting Minerals of Extraterrestrial Origin. [PDF]

ACS Earth Space Chem
Shay T, Hinrichs K, Pavlov SG, Stojanovic N, Weber I, Morlok A, Gensch M.   +6 more
europepmc   +1 more source

Natural Deduction and Normalisation for Partially Commutative Linear Logic and Lambek Calculus with Product

Maxime Amblard, Christian Retoré
openalex   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Natural Deduction with Explosion and Excluded Middle

IEEE International Symposium on Multiple-Valued Logic, 2023
In this study, new natural deduction systems for intuitionistic, classical, and Gurevich logics are introduced using the new rules of explosion and excluded middle, which correspond to the principle of explosion and the law of excluded middle ...
N. Kamide
semanticscholar   +1 more source