Results 31 to 40 of about 2,597 (173)

Canonical formulas for k-potent commutative, integral, residuated lattices

, 2016
Canonical formulas are a powerful tool for studying intuitionistic and modal logics. Actually, they provide a uniform and semantic way to axiomatise all extensions of intuitionistic logic and all modal logics above K4.
Bezhanishvili, Nick, Galatos, Nick, Spada, Luca   +2 more
core   +1 more source

What is a Paraconsistent Logic? [PDF]

, 2018
Paraconsistent logics are logical systems that reject the classical principle, usually dubbed Explosion, that a contradiction implies everything. However, the received view about paraconsistency focuses only the inferential version of Explosion, which is
Alexej Pynko, Arnon Avron, Arnon Avron, Bogdan Dicher, Dana Scott, David Ripley, David Ripley, David Ripley, David Shoesmith, Dov Gabbay, Eduardo Barrio, Edwin Mares, Elia Zardini, Emmanuel Chemla, Florencio Asenjo, Graham Priest, Grzegorz Malinowski, Grzegorz Malinowski, Grzegorz Malinowski, Igor Urbas, Jean-Yves Girard, Lloyd Humberstone, Pablo Cobreros, Pablo Cobreros, Robert Stärk, Rohan French, Szymon Frankowski, Szymon Frankowski, Walter Carnielli, Willem Blok, Yaroslav Shramko   +30 more
core   +1 more source

COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS

The Review of Symbolic Logic, 2022
AbstractWe present a new frame semantics for positive relevant and substructural propositional logics. This frame semantics is both a generalisation of Routley–Meyer ternary frames and a simplification of them. The key innovation of this semantics is the use of a single accessibility relation to relate collections of points to points.
GREG RESTALL, SHAWN STANDEFER
openaire   +3 more sources

Singly generated quasivarieties and residuated structures [PDF]

, 2019
A quasivariety K of algebras has the joint embedding property (JEP) iff it is generated by a single algebra A. It is structurally complete iff the free countably generated algebra in K can serve as A.
Anderson A. R., Bergman C., Chang C. C., Citkin A. I., Citkin A. I., Dywan Z., Esakia L. L., Esakia L. L., Galatos N., Gorbunov V. A., Jónsson B., Kuznetsov A. V., Magari R., Maltsev A. I., Maltsev A. I., Maltsev A. I., Minari P., Pogorzelski W. A., Pogorzelski W. A., Prucnal T., Rybakov V. V., Wroński A., Wroński A., Wroński A., Łoś J., Łoś J.   +25 more
core   +2 more sources

Meeting strength in substructural logics [PDF]

Studia Logica, 1995
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources

Single‐Cell Mitochondrial Lineage Tracing Decodes Fate Decision and Spatial Clonal Architecture in Human Hematopoietic Organoids

Advanced Science, EarlyView.
This study repurposes mitochondrial DNA mutations as endogenous barcodes for lineage tracing in human pluripotent stem cell‐derived organoids. Integrated with transcriptomic and spatial data, it reveals NOTCH‐mediated stromal‐progenitor crosstalk orchestrates clonal dynamics and spatial zonation during early hematopoietic development, offering a non ...
Yan Xue, Junhao Su, Yiming Chao, Lu Liu, Xinyi Lin, Yang Xiang, Mun Kay Ho, Zezhuo Su, Junyi Chen, Zhuojuan Luo, Chengqi Lin, Ruibang Luo, Theo Aurich, Jianfeng Wu, Kelvin Sin Chi Cheung, Yuanhua Huang, Joshua W. K. Ho, Ryohichi Sugimura   +17 more
wiley   +1 more source

A graph-theoretic account of logics [PDF]

, 2009
A graph-theoretic account of logics is explored based on the general notion of m-graph (that is, a graph where each edge can have a finite sequence of nodes as source).
Coniglio, Marcelo E., Rasga, J., Sernadas, A., Sernadas, C.   +3 more
core   +2 more sources

Semi-Substructural Logics à la Lambek [PDF]

Electronic Proceedings in Theoretical Computer Science
This work studies the proof theory of left (right) skew monoidal closed categories and skew monoidal bi-closed categories from the perspective of non-associative Lambek calculus. Skew monoidal closed categories represent a relaxed version of monoidal closed categories, where the structural laws are not invertible; instead, they are natural ...
Cheng-Syuan Wan
openalex   +3 more sources

Toward Predictable Nanomedicine: Current Forecasting Frameworks for Nanoparticle–Biology Interactions

Advanced Intelligent Discovery, EarlyView.
Predictive models successfully screen nanoparticles for toxicity and cellular uptake. Yet, complex biological dynamics and sparse, nonstandardized data limit their accuracy. The field urgently needs integrated artificial intelligence/machine learning, systems biology, and open‐access data protocols to bridge the gap between materials science and safe ...
Mariya L. Ivanova, Michael Nicholls, Nicola Russo, Gueorgui Mihaylov, Konstantin Nikolic   +4 more
wiley   +1 more source

Sequent Systems for Consequence Relations of Cyclic Linear Logics

Bulletin of the Section of Logic
Linear 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