Results 81 to 90 of about 61,671 (307)
The Systems of Relevance Logic
, 2020 The system R, or more precisely the pure implicational fragment R →, is considered by the relevance logicians as the most important. The another central system of relevance logic has been the logic E of entailment that was supposed to capture strict ...
Ryszard Mirek, Kraków
core
Graphical Encoding of a Spatial Logic for the pi-Calculus
, 2007 This paper extends our graph-based approach to the verification of spatial properties of π-calculus specifications. The mechanism is based on an encoding for mobile calculi where each process is mapped into a graph (with interfaces) such that the ...
Gadducci, Fabio +4 more
core +1 more source
On the construction and algebraic semantics of relevance logic [PDF]
, 2020 Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2020, Director: Joan Gispert Brasó[en] The truth-functional interpretation of classical implication gives rise to relevance paradoxes, since it doesn't ...
Gastón Codony, Andrea
core +1 more source
Mathematical model of “dialectical logic”, and relatively autonomous cognitive robots
Антиномии, 2019 The object of investigation is the notorious problem of “dialectical-logic”, and its relevance to constructing relatively autonomous cognitive robots. The subjectmatter is formal axiological aspect of the mentioned object.
Vladimir O. Lobovikov
doaj +1 more source
Relevant Logic and Paraconsistency
, 2005 This is an account of the approach to paraconsistency associated with relevant logic. The logic fde of first degree entailments is shown to arise naturally out of the deeper concerns of relevant logic. The relationship between relevant logic and resolution, and especially the disjunctive syllogism, is then examined.
openaire +1 more source
Epistemic Logics for Relevant Reasoners
Journal of Philosophical LogicAbstractWe present a neighbourhood-style semantic framework for modal epistemic logic modelling agents who process information using relevant logic. The distinguishing feature of the framework in comparison to relevant modal logic is that the environment the agent is situated in is assumed to be a classical possible world.
Sedlár, Igor, Vigiani, Pietro
openaire +3 more sources
Advanced Functional Materials, EarlyView.A nanounit‐assembled hydrogel employing a “pull‐and‐push” strategy simultaneously scavenges pro‐inflammatory cell‐free DNA (cfDNA) and delivers regenerative therapeutics in response to burn‐induced hyperthermia. By repolarizing macrophages and promoting angiogenesis, this multifunctional platform accelerates burn wound healing, offering a blueprint for
Han‐Sem Kim +9 more
wiley +1 more source
Restall\u27s Proof-Theoretic Pluralism and Relevance Logic
, 2016 Restall (Erkenntnis 79(2):279–291, 2014) proposes a new, proof-theoretic, logical pluralism. This is in contrast to the model-theoretic pluralism he and Beall proposed in Beall and Restall (Aust J Philos 78(4):475–493, 2000) and in Beall and Restall ...
Kouri, Teresa
core +1 more source
System-Level Mathematical Macro-Models of Logic MEMS Gates
Доклады Белорусского государственного университета информатики и радиоэлектроникиThe relevance of the study is due to the rapid development of microelectromechanical systems (MEMS), which are used as logic elements due to low power consumption, high reliability and the ability to reprogram during operation.
А. А. Solovev +2 more
doaj +1 more source
Advanced Functional Materials, EarlyView.Thermally oxidized MoS2‐based radio‐frequency switches enable a multifunctional platform that unifies broadband RF switching and in‐memory computation. The device achieves a cutoff frequency of 33.2 THz with high energy efficiency and supports hardware‐aware signal processing.
Juho Son +5 more
wiley +1 more source