Results 281 to 290 of about 6,962 (307)

RESOLVING INFINITARY PARADOXES

The Journal of Symbolic Logic, 2017
AbstractGraph normal form, GNF, [1], was used in [2, 3] for analyzing paradoxes in propositional discourses, with the semantics—equivalent to the classical one—defined by kernels of digraphs. The paper presents infinitary, resolution-based reasoning with GNF theories, which is refutationally complete for the classical semantics.
openaire   +2 more sources

Resolve

Advances in Neonatal Care, 2010
openaire   +2 more sources

Resolve collide resolve

2016
Brennan, Nicholas Lobo, Smitham, Astrid
openaire   +1 more source

Resolving inflammation

Nature Reviews Immunology, 2021
openaire   +2 more sources

On fractional powers of generators of fractional resolvent families

Journal of Functional Analysis, 2010
Miao Li, Chuang Chen
exaly  

On fractional resolvent operator functions

Semigroup Forum, 2009
Chuang Chen, Miao Li
exaly  

Resolve to Be Better

The Consultant Pharmacist, 2018
openaire   +2 more sources

On Spectral Inclusions and Approximations of ?-times Resolvent Families

Semigroup Forum, 2004
Miao Li, Zheng Quan
exaly  

H-Monotone operator and resolvent operator technique for variational inclusions

Applied Mathematics and Computation, 2003
Ya-Ping Fang, Nan-Jing Huang
exaly  

Generalized Set-Valued Variational Inclusions and Resolvent Equations

Journal of Mathematical Analysis and Applications, 1998
Muhammad Aslam Noor
exaly