Results 251 to 260 of about 101,814 (276)

Review Essay: Predicate logical extensions of some subintuitionistic logics (Zimmermann, Ernst, Studia Logica 91 (2009), no. 1, 131–138).

2009
,
openaire   +1 more source

Sequential faulting explains the asymmetry and extension discrepancy of conjugate margins

Nature, 2010
César R Ranero, Marta Pérez-gussiny
exaly  

Predicate provability logic with non-modalized quantifiers

Studia Logica: An International Journal for Symbolic Logic, 1991
G. Dzhaparidze
semanticscholar   +1 more source

Structures of Metal–Organic Frameworks with Rod Secondary Building Units

Chemical Reviews, 2016
Alexander Schoedel, Mian Li, Dan Li
exaly  

An extension to predicate logic of $\lambda\rho$-calculus (Logics, Algebras and Languages in Computer Science)

, 2014
郁加 山川, 雄一 古森
openalex  

On the Logic of the Standard Proof Predicate

, 2000
R. Yavorsky
semanticscholar   +1 more source

Kripke incompleteness of predicate extensions of Gabbay-de Jongh's logic of the finite binary trees

zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Nicotinamide and PNC1 govern lifespan extension by calorie restriction in Saccharomyces cerevisiae

Nature, 2003
David A Sinclair
exaly  

A positional Toll receptor code directs convergent extension in Drosophila

Nature, 2014
Zachary Mirman, Jennifer A Zallen
exaly  

Extension of set-based inference mechanism for predicate logic design constraints with an application to automotive power window design

, 2000
Amit Vishwanath Seshan
openalex