Results 161 to 170 of about 1,803,872 (361)
Trade Realignments and the Need for Integrated Modeling Research in Latin America's Agri‐Food Sector
Agribusiness, EarlyView.
Emiliano Lopez Barrera
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
On Generalizing Decidable Standard Prefix Classes of First-Order Logic
, 2017 Recently, the separated fragment (SF) of first-order logic has been introduced. Its defining principle is that universally and existentially quantified variables may not occur together in atoms.
Voigt, Marco
core
Meaning is Use: the Case of Propositional Identity
Bulletin of the Section of LogicWe study natural deduction systems for a fragment of intuitionistic logic with propositional identity from the point of view of proof-theoretic semantics.
Leonard Kupś, Szymon Chlebowski
doaj +1 more source
Belief Merging within Fragments of Propositional Logic [PDF]
, 2016 Nadia Creignou +3 more
openalex +1 more source
Automatization of proof-search for a fragment of the first-order linear tense logic
, 2003 Romas Alonderis
openalex +2 more sources
Goedel logics: Prenex fragments
Research supported by FWF grant P ...
Baaz, Matthias, Gamsakhurdia, Mariami
openaire +2 more sources
Comonadic semantics for hybrid logic and bounded fragments
, 2021 Samson Abramsky, Dan Marsden
openalex +2 more sources
Animal Research and One Health, EarlyView.The paper is divided into three main sections: a review of the development of spatial transcriptomics technology, its applications in livestock and poultry research, and its future prospects. This article provides an overview of the current state of spatial transcriptomics in animal research, exploring its integration with multiomics technologies as ...
Mingyu Wang +5 more
wiley +1 more source
Omitting types in fragments and extensions of first order logic
, 2021 Tarek Sayed Ahmed
openalex +2 more sources