Results 61 to 70 of about 110,260 (279)
A Formalism for Action Representation Inspired by Mīmāṁsā
Journal of Intelligent Systems, 2012 This paper endeavors to formalize imperatives that convey actions. Imperatives, unlike propositions, do not hold the value of true or false. Peter Vranas proposed an alternate logical formalism in the literature of imperative logic with three values ...
Srinivasan Bama, Parthasarathi Ranjani
doaj +1 more source
Advanced Functional Materials, EarlyView.A hydrogel–liquid metal composite peripheral nerve interface (HLB‐PNI) combines electrically durable electrodes and tissue‐adhesive hydrogel for tissue‐adaptive implantation. In nerve‐injured rats, it enables the diagnosis of sensory‐motor connectivity via stimulation and neural signal recording.
Yewon Kim +5 more
wiley +1 more source
Burge on Perception and the Disjunction Problem
Theoria, 2015 The Disjunction Problem states that teleological theories of perception cannot explain why a subject represents an F when an F causes the perception and not the disjunction F v G, given that the subject has mistaken G’s for F’s in the past.
Jon Altschul
doaj +1 more source
Definitions: Does disjunction mean dysfunction? [PDF]
, 2009 Our concern in this paper is with definitions that are not conjunctive. In particular, our concern is with definitions of things of a kind K which allege that there is a bunch of conditions, each of which is sufficient, but not necessary, for bestowing K-
Kingsbury, Justine +1 more
core +1 more source
DISJUNCTIONS WITH STOPPING CONDITIONS
The Bulletin of Symbolic Logic, 2021 AbstractWe introduce a tool for analysing models of$\text {CT}^-$, the compositional truth theory over Peano Arithmetic. We present a new proof of Lachlan’s theorem that the arithmetical part of models of$\text {CT}^-$are recursively saturated. We also use this tool to provide a new proof of theorem from [8] that all models of$\text {CT}^-$carry a ...
Kossak, Roman, Wcisło, Bartosz
openaire +2 more sources
Advanced Functional Materials, EarlyView.This study presents a versatile approach to harnessing miscible aqueous domains, enabling liquid‐in‐liquid compartmentalization using a barrier formed in situ rather than bulk immiscibility. The barrier forms upon the complexation of multifunctional nanoparticles and ligands at the contact boundary of aqueous phases.
Seyyed Alireza Hashemi +7 more
wiley +1 more source
On disjunction of equations in inverse semigroups [PDF]
, 2013 A semigroup $S$ is an equational domain if any finite union of algebraic sets over $S$ is algebraic. We prove that if an inverse semigroup $S$ is an equational domain in the extended language $\{\cdot,{}^{-1}\}\cup\{s|s\in S\}$ then $S$ is a ...
Shevlyakov, Artem N.
core
Advanced Functional Materials, EarlyView.A 3D nanowire‐network SERS substrate with robust adhesion is developed, featuring pronounced z‐direction optical activity, ultralow detection limit (1.5 × 10−13 M), and excellent signal uniformity (RSD < 10%). Enabled by enhanced light scattering, increased optical density of states, and structural reinforcement, the substrate demonstrates stable, high‐
Jinglai Duan +6 more
wiley +1 more source
Value of geographical origin and parental genealogy in the Selection of Oil Palm (Elaeis guineensis Jacq.) in Côte d'Ivoire [PDF]
, 2009 In genetic improvement of oil palm (Elaeis guineensis Jacq.), categorical variable represented a main part of information used to determine differentiation among populations of genitors selected from the reciprocal recurrent selection program (RRS).
Adon, Benjamin +6 more
core
Paracomplete logics which are dual to the paraconsistent logics L3A and L3B [PDF]
, 2020 In 2016 Beziau, introduce a more restricted concept of paraconsistency, namely the genuine paraconsistency. He calls genuine paraconsistent logic those logic rejecting φ, ¬φ |- ψ and |- ¬(φ ∧ ¬φ).
Borja-Macı́as, Verónica +2 more
core +1 more source