Results 91 to 100 of about 4,158,085 (300)
Tópicos, 2014 Fichte uses profusely different versions of the social contract when drafting his doctrine of right in the Foundations of the Natural Right (1796). This usage, which seems to follow a typical strategic reasoning of the hobbesian contractarianism, seems ...
Felipe Schwember Augier
doaj +1 more source
Direct Evidence of Topological Dirac Fermions in a Low Carrier Density Correlated 5d Oxide
Advanced Functional Materials, EarlyView.The 5d oxide BiRe2O6 is discovered as a low‐carrier‐density topological semimetal hosting symmetry‐protected Dirac fermions stabilized by nonsymmorphic symmetries. Angle‐resolved photoemission spectroscopy, quantum oscillations, and magnetotransport measurements reveal gapless Dirac cones, quasi‐2D Fermi surfaces, high carrier mobility, and a field ...
Premakumar Yanda +11 more
wiley +1 more source
Classical logic and intuitionistic logic: equivalent formulations in natural deduction, Gödel-Kolmogorov-Glivenko translation [PDF]
, 2022 Richard Moot, Christian Retoré
openalex +1 more source
Design and Applications of Multi‐Frequency Programmable Metamaterials for Adaptive Stealth
Advanced Functional Materials, EarlyView.This article provides a comprehensive overview of metamaterials, including their fundamental principles, properties, synthesis techniques, and applications in stealth, as well as their challenges and future prospects. It covers topics that are more advanced than those typically discussed in existing review articles, while still being closely connected ...
Jonathan Tersur Orasugh +4 more
wiley +1 more source
Gentzen-Prawitz Natural Deduction as a Teaching Tool
, 2009 We report a four-years experiment in teaching reasoning to undergraduate students, ranging from weak to gifted, using Gentzen-Prawitz's style natural deduction.
Ene, Cristian +2 more
core +1 more source
Natural Deduction in a Paracomplete Setting [PDF]
, 2014 In this paper we present the automated proof search technique in natural deduction paracomplete logic. Here, for some statements we do not have evidence to conclude if they are true or false, as it happens in the classical framework.
Bolotov, A. +3 more
core
A New Connective in Natural Deduction, and its Application to Quantum Computing [PDF]
International Colloquium on Theoretical Aspects of Computing, 2020 Alejandro D'iaz-Caro, Gilles Dowek
semanticscholar +1 more source
Advanced Functional Materials, EarlyView.This review highlights recent advances in label‐free optical biosensors based on 2D materials and rationally designed mixed‐dimensional nanohybrids, emphasizing their synergistic effects and novel functionalities. It also discusses multifunctional sensing platforms and the integration of machine learning for intelligent data analysis.
Xinyi Li, Yonghao Fu, Yuehe Lin, Dan Du
wiley +1 more source
Parallelismo tra la dialettica socratica e l'e-learning
Studi sulla Formazione, 2015 What is a general methodology of science? What is a general theory of method? The article examines the two questions and summarizes the passages that connect – not only in a separate but also in a unified way – recognition, understanding, reasoning and ...
Barbara Todini
doaj +1 more source
Inactivating SARS‐CoV‐2 Virus with MOF‐Composites as Smart Face Masks
Advanced Functional Materials, EarlyView.In situ preparation and functionalization of MOF@Cotton fabrics as smart face masks for the immobilization of proteins and inactivation viruses, such as SARS‐CoV‐2. Abstract The significant impact of the SARS‐CoV‐2 (COVID‐19) pandemic outbreak on people's lives has highlighted the urgent need for effective personal protective equipment.
Romy Ettlinger +9 more
wiley +1 more source