Results 111 to 120 of about 17,271 (293)

Natural deduction system for linear time temporal logic

, 2008
We present a sound and complete Quine-style natural abstract deduction system for propositional linear-time temporal logic based on similar systems for the propositional classical logic.
Bolotov, A., Gregoryev, O., Shangin, V., Basukoski, A.   +3 more
core  

Hierarchically Soft Porous MOF‐Polymer Monolith for Fast and Large‐Scale Moisture Buffering

Advanced Science, EarlyView.
A soft, hierarchical porous monolith that combines metal–organic frameworks (MOFs) with a thermoresponsive polymer matrix enables rapid, large‐scale moisture buffering. The synergistic interface facilitates high‐capacity water capture and low‐energy release for sustainable indoor dehumidification.
Guangxin Ma, Xin Zhou, Weiman Li, Ken‐ichi Otake, Susumu Kitagawa, Xiaoze Wang, Mengjie Cao, Linfeng Nie, Ming‐Shui Yao, Yunfa Chen   +9 more
wiley   +1 more source

Comparing Sense and Denotation in Bilateralist Proof Systems for Proofs and Refutations

Bulletin of the Section of Logic
In this paper a framework to distinguish in a Fregean manner between sense and denotation of \(\lambda\)-term-annotated derivations will be applied to a bilateralist sequent calculus displaying two derivability relations, one for proving and one for ...
Sara Ayhan
doaj   +1 more source

Per una teoria generale (disgiunta ma unificata) del metodo

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 ...
Mario Gennari
doaj   +1 more source

Biolipid Film‐Fused Electrochemiluminescence for Multipurpose In Situ Bioassays

Advanced Science, EarlyView.
An ECL‐emissive, membrane‐interactive scaffold was fabricated, and facilely fused with natural and non‐native phospholipids into multifactorial mimicries of cytomembranes and vesicles for in vitro representative membrane‐process probing. Such a biointerface‐based, state‐sensitive ECL paradigm not only pinpointed proximal phenomena, including channeling
Jialiang Chen, Bin Li, Yingying Wang, Fulin Zhu, Wenxuan Yang, Xuanyu Fu, Tiantian Man, Qiuyue Wu, Kewei Ren, Shengyuan Deng   +9 more
wiley   +1 more source

Problemy terminologiczne w argumentach za istnieniem Boga [PDF]

Argument, 2014
In the article I deal with some paradoxes and errors caused by improper usage of logical and philosophical terms appearing in the arguments for existence of God and other philosophical issues. I point at first some paradoxes coming from improper usage of
Zbigniew Wolak
doaj  

Labelled Natural Deduction for Substructural Logics [PDF]

, 1999
In this paper a uniform methodology to perform Natural Deduction over the family of linear, relevance and intuitionistic logics is proposed. The methodology follows the Labelled Deductive Systems (LDS) discipline, where the deductive process manipulates ...
Broda, K, Krysia Broda, Finger, M, Ra Russo, Marcelo Finger, Russo, A   +5 more
core   +1 more source

Enhancing Li‐S Battery Performance Through Low‐Concentration Electrolytes with Organic Se/Te Co‐Additives to Address Solubility and Kinetic Challenges

Advanced Science, EarlyView.
This work presents a low‐concentration electrolyte enabled by hybrid organic Se/Te additives (DPDSe/DPDTe) that restructures solvation, boosts polysulfide dissolution, and provides dual‐site synergistic catalysis, delivering high capacity and stable cycling in Li–S coin and pouch cells, supporting high‐energy, high‐power operation.
Ruihua Li, Haiwei Wu, Hairu Wei, Wenhao Jia, Frederik Bettels, Leon Schenk, Zhihua Lin, Hanbin Liu, Guodong Liu, Zhijian Li, Lin Zhang   +10 more
wiley   +1 more source

The normalization theorem for extended natural deduction

, 2017
The normalization theorem for the system of extended natural deduction will be proved as a consequence of the cut-elimination theorem, by using the connections between the system of extended natural deduction and a standard system of sequents.
Mirjana Borisavljevic
core   +1 more source

Precision Lignocellulosic Biorefinery: Process Regulation From Corn Stover to Products

Advanced Science, EarlyView.
This study presents a precision biorefinery framework that transforms corn stover into high‐value bioproducts through whole‐process regulation. Mechanical fractionation separates feedstock into parenchyma‐rich short fibers and vascular‐bundle‐dominant long fibers.
Xue‐Cheng Lin, Lan Wang, Tai‐Ran Pang, Ming‐Yuan Yin, Hong‐Zhang Chen   +4 more
wiley   +1 more source