Results 71 to 80 of about 3,086 (177)
Conuclear images of substructural logics [PDF]
Mathematical Logic Quarterly, 2016 Our work proposes to study the conuclear image of a substructural logic and in particular to investigate the relationship between a substructural logic and its conuclear image. We analyze some axioms familiar to substructural logics and we check if they: (a) are preserved under conuclear images, (b) never hold in a conuclear image, or (c) are ...
openaire +1 more source
Rare Metals, Volume 45, Issue 4, April 2026.ABSTRACT Nickel‐based superalloys (Ni‐based superalloys) have attracted extensive attention in laser additive manufacturing (LAM) due to their capability to directly fabricate complex and high‐performance structural components. However, the rapid melting and solidification inherent to LAM result in intense thermal cycling, which induces high residual ...
Tianxiang Lin +9 more
wiley +1 more source
Sequent Systems for Consequence Relations of Cyclic Linear Logics
Bulletin of the Section of LogicLinear Logic is a versatile framework with diverse applications in computer science and mathematics. One intriguing fragment of Linear Logic is Multiplicative-Additive Linear Logic (MALL), which forms the exponential-free component of the larger ...
Paweł Płaczek
doaj +1 more source
Network medicine and systems pharmacology approaches to predicting adverse drug effects
British Journal of Pharmacology, Volume 183, Issue 8, Page 1627-1639, April 2026.Identifying and understanding the relationships between drug intake and adverse effects that can occur due to inadvertent molecular interactions between drugs and targets is a difficult task, especially considering the numerous variables that can influence the onset of such events.
Alessio Funari +2 more
wiley +1 more source
A Paradox of Inferentialism [PDF]
, 2015 John McDowell articulated a radical criticism of normative inferentialism against Robert Brandom’s expressivist account of conceptual contents. One of his main concerns consists in vindicating a notion of intentionality that could not be reduced to the ...
Turbanti, Giacomo
core
Modal Linear Logic in Higher Order Logic, an experiment in Coq
, 2003 The sequent calculus of classical modal linear logic KDT 4lin is coded in the higher order logic using the proof assistant COQ. The encoding has been done using two-level meta reasoning in Coq.
Sadrzadeh, Mehrnoosh
core +1 more source
The gulf between behavioural psychology and fundamental physiology: a systematic attempt to bridge the gap [PDF]
, 2007 Direct experimentation in much of this area is very difficult or impossible. For such circumstances, it is argued that much can be achieved by a rigorous quantitative programme of interdisciplinary theorizing based on available data.
Traill, RR
core
Characterizing logic grammars: A substructural logic approach
The Journal of Logic Programming, 1996 Summary: A characterization of static discontinuity grammars (SDGs), a logic grammar formalism due to Dahl, is given in this paper. A substructural logic sequent calculus proof system is given which is shown to be equivalent to SDGs for parsing problems in the sense that a string of terminal symbols is accepted by a grammar if and only if the ...
James H. Andrews +2 more
openaire +1 more source
25th Workshop on Logic, Language, Information and Computation: WoLLIC 2018. [PDF]
J Logic Lang Inf, 2022 Moss L, de Queiroz R.
europepmc +1 more source
A Labelled Analytic Theorem Proving Environment for Categorial Grammar
, 1995 We present a system for the investigation of computational properties of categorial grammar parsing based on a labelled analytic tableaux theorem prover.
Luz-Filho, Saturnino F., Sturt, Patrick
core +1 more source