Results 71 to 80 of about 1,821,618 (323)

Coherence of Proof-Net Categories

, 2005
The notion of proof-net category defined in this paper is closely related to graphs implicit in proof nets for the multiplicative fragment without constant propositions of linear logic.
Dosen, K., Petric, Z.
core   +1 more source

Gradients of Aliveness and Engineering: A Taxonomy of Fungal Engineered Living Materials

Advanced Materials, EarlyView.
This paper explores the potential of fungal engineered living materials (ELMs), examining fungal biology and growth mechanisms, which underpin their development. It presents a classification framework based on aliveness, scaffold composition, and engineering degree. Unique properties such as self‐healing, biosensing, and bioremediation are highlighted,
Elise Elsacker, Jara Saluena Martin, Annah‐Ololade Sangosanya, Anouk Verstuyft, Aurélie Van Wylick, Eveline Peeters   +5 more
wiley   +1 more source

The Pebble-Relation Comonad in Finite Model Theory [PDF]

Logical Methods in Computer Science
The pebbling comonad, introduced by Abramsky, Dawar and Wang, provides a categorical interpretation for the k-pebble games from finite model theory.
Yoàv Montacute, Nihil Shah
doaj   +1 more source

Reasoning about Minimal Belief and Negation as Failure

, 2011
We investigate the problem of reasoning in the propositional fragment of MBNF, the logic of minimal belief and negation as failure introduced by Lifschitz, which can be considered as a unifying framework for several nonmonotonic formalisms, including ...
Rosati, R.
core   +1 more source

Logic programming in a fragment of intuitionistic linear logic

[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science, 1991
The intuitionistic notion of context is refined by using a fragment of J.-Y. Girard's (Theor. Comput. Sci., vol.50, p.1-102, 1987) linear logic that includes additive and multiplicative conjunction, linear implication, universal quantification, the of ...
J. S. Hodas, D. Miller
semanticscholar   +1 more source

Beyond Conventional Cooling: Advanced Micro/Nanostructures for Managing Extreme Heat Flux

Advanced Materials, EarlyView.
This review examines the design, application, and manufacturing of biomimetic or engineered micro/nanostructures for managing high heat‐flux in multi‐level electronics by enhancing conductive, convective, phase‐changing, and radiative heat transfer mechanisms, highlighting their potential for efficient, targeted thermal management, and future prospects.
Yuankun Zhang, Huajie Li, Yuhang Zhou, Jun Ma, Keng‐Te Lin, Han Lin, Chunsheng Guo, Baohua Jia   +7 more
wiley   +1 more source

The Finite Satisfiability Problem for Two-Variable, First-Order Logic with one Transitive Relation is Decidable

, 2017
We consider the two-variable fragment of first-order logic with one distinguished binary predicate constrained to be interpreted as a transitive relation.
Pratt-Hartmann, Ian
core   +1 more source

Probiotic‐Based Materials as Living Therapeutics

Advanced Materials, EarlyView.
Recent advances in Engineered Living Materials are highlighted, integrating synthetic biology and advanced materials, with a focus on probiotic‐based therapeutics. Probiotic Living Materials hold great potential for biosensing, infection treatment, osteogenesis, wound healing, vaginal and gastrointestinal disorders, and cancer therapy. breakthroughs in
Laura Sabio, Graham J. Day, Manuel Salmeron‐Sanchez   +2 more
wiley   +1 more source

A Criticism of Kripke’s Semantic for Intuitionistic Logic

O Que Nos Faz Pensar, 2016
This note aims to examine critically Kripke’s semantics for propositional intuitionistic logic. Kripke’s semantic is extensionally correct with respect to propositional intuitionistic logic, that is, the calculus is sound and complete with respect to the
Wagner de Campos Sanz
doaj  

Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy [PDF]

, 2022
Christoph Benzmüller, Sebastian Reiche
openalex   +1 more source