Results 61 to 70 of about 574,752 (282)
Advanced Materials, EarlyView.Drawing inspiration from the layered hard‐soft architecture found in sea sponges, this work establishes a new framework for architected cementitious composites (ACC) through multi‐material additive manufacturing (MMAM) process. The integration of mortar and elastomer phases into layered architectures enables synergistic toughening mechanisms, including
Aimane Najmeddine +5 more
wiley +1 more source
Formal logic: Classical problems and proofs [PDF]
, 2019 Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective.
Augusto, Luis M.
core
2D Nanomaterials Toward Function‐Ready Superlubricity in Advanced Microsystems
Advanced Materials, EarlyView.A unified framework links structural and transformation superlubricity with microsystem functions and deployment requirements. Mechanisms, device architectures, integration strategies, AI‐guided discovery, and benchmarking protocols are connected to define function‐ready superlubricity in advanced microsystems.
Yushan Geng, Jun Yang, Yong Yang
wiley +1 more source
A Syntactic Proof of the Decidability of First-Order Monadic Logic
Bulletin of the Section of LogicDecidability 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
Advanced Materials, EarlyView.An overview of design principles and scalable fabrication strategies for multifunctional bio‐based packaging. Radiative cooling films, modified‐atmosphere films/membranes, active antimicrobial/antioxidant platforms, intelligent optical/electrochemical labels, and superhydrophobic surfaces are co‐engineered from material chemistry to mesoscale structure
Lei Zhang +6 more
wiley +1 more source
A Linear/Producer/Consumer Model of Classical Linear Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 This paper defines a new proof- and category-theoretic framework for classical linear logic that separates reasoning into one linear regime and two persistent regimes corresponding to ! and ?.
Jennifer Paykin, Steve Zdancewic
doaj +1 more source
A Modal Logic for Termgraph Rewriting
, 2010 We propose a modal logic tailored to describe graph transformations and discuss some of its properties. We focus on a particular class of graphs called termgraphs. They are first-order terms augmented with sharing and cycles.
Balbiani, Ph., Echahed, R., Herzig, A.
core +3 more sources
Non-classical Metatheory for Non-classical Logics [PDF]
Journal of Philosophical Logic, 2012 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Advanced Materials, EarlyView.The perspective presents an integrated view of neuromorphic technologies, from device physics to real‐time applicability, while highlighting the necessity of full‐stack co‐optimization. By outlining practical hardware‐level strategies to exploit device behavior and mitigate non‐idealities, it shows pathways for building efficient, scalable, and ...
Kapil Bhardwaj +8 more
wiley +1 more source
THE USE OF LIE LOGIC IN THE PROCESS OF TEACHING CHILDREN
Вестник Российского экономического университета имени Г. В. Плеханова, 2017 Neo-classical logic was developed in mathematics in the late 19th – early 20th century. One example of neo-classic logic is lie logic. The article on the basis of analyzing the stages of psychical development of children carried out by J.
Marianna N. Maksimenko +2 more
doaj +1 more source