Results 21 to 30 of about 1,260 (226)
On intuitionistic branching tense logic with weak induction
Lietuvos Matematikos Rinkinys, 1998 In the paper, the first-order branching tense logic calculus is given: LB J with the weak induction, that is to say with the axiom (A ∧ A O ☐ A) ⊃ ☐ A instead of the induction axiom (A ∧ ☐ (A ⊃ O A)) ⊃ ☐ A.
Romas Alonderis
doaj +3 more sources
A sequent calculus for a semi-associative law [PDF]
Logical Methods in Computer Science, 2019 We introduce a sequent calculus with a simple restriction of Lambek's product rules that precisely captures the classical Tamari order, i.e., the partial order on fully-bracketed words (equivalently, binary trees) induced by a semi-associative law ...
Noam Zeilberger
doaj +1 more source
On Constructive Connectives and Systems [PDF]
Logical Methods in Computer Science, 2010 Canonical inference rules and canonical systems are defined in the framework of non-strict single-conclusion sequent systems, in which the succeedents of sequents can be empty.
Arnon Avron, Ori Lahav
doaj +1 more source
Normalisation Control in Deep Inference via Atomic Flows [PDF]
Logical Methods in Computer Science, 2008 We introduce `atomic flows': they are graphs obtained from derivations by tracing atom occurrences and forgetting the logical structure. We study simple manipulations of atomic flows that correspond to complex reductions on derivations. This allows us to
Alessio Guglielmi, Tom Gundersen
doaj +1 more source
Quantum Emitters in Hexagonal Boron Nitride: Principles, Engineering and Applications
Advanced Functional Materials, EarlyView.Quantum emitters in hexagonal boron nitride have emerged as a promising candidate for quantum information science. This review examines the fundamentals of these quantum emitters, including their level structures, defect engineering, and their possible chemical structures.
Thi Ngoc Anh Mai +8 more
wiley +1 more source
Advanced Functional Materials, EarlyView.This study examines how pore shape and manufacturing‐induced deviations affect the mechanical properties of 3D‐printed lattice materials with constant porosity. Combining µ‐CT analysis, FEM, and compression testing, the authors show that structural imperfections reduce stiffness and strength, while bulk material inhomogeneities probably enhance ...
Oliver Walker +5 more
wiley +1 more source
Bulletin of the Section of LogicA many-valued modal logic, called linear abelian modal logic \(\rm {\mathbf{LK(A)}}\) is introduced as an extension of the abelian modal logic \(\rm \mathbf{K(A)}\). Abelian modal logic \(\rm \mathbf{K(A)}\) is the minimal modal extension of the logic of
Hamzeh Mohammadi
doaj +1 more source
Advanced Functional Materials, EarlyView.Tabular foundation model interrogates the synthetic likelihood of metal−organic frameworks. Abstract Metal–organic frameworks (MOFs) are celebrated for their chemical and structural versatility, and in‑silico screening has significantly accelerated their discovery; yet most hypothetical MOFs (hMOFs) never reach the bench because their synthetic ...
Xiaoyu Wu +3 more
wiley +1 more source
Advanced Functional Materials, EarlyView.Permanent magnets derive their extraordinary strength from deep, universal electronic‐structure principles that control magnetization, anisotropy, and intrinsic performance. This work uncovers those governing rules, examines modern modeling and AI‐driven discovery methods, identifies critical bottlenecks, and reveals electronic fingerprints shared ...
Prashant Singh
wiley +1 more source
Advanced Materials, EarlyView.Multiphase printable organohydrogels with tunable microstructures are developed to control molecular transport pathways for immiscible cargo. The tortuosity and domain size of the colloidal phases are tuned by adjusting temperature and shear during processing, which enables the tailoring of diffusion kinetics due to different transport pathways.
Riley E. Dowdy‐Green +4 more
wiley +1 more source