Results 231 to 240 of about 1,101 (266)
Some of the next articles are maybe not open access.
Journal of Symbolic Logic, 1969
Dummett's LC [1] is a system which characterizes all formulas of the propositional calculus which are valid in every chain (for definitions and notation see the first section of [2]). An L-algebra is a Heyting algebra in which (x → y) + (y → x) = 1 for all x, y.
openaire +2 more sources
Dummett's LC [1] is a system which characterizes all formulas of the propositional calculus which are valid in every chain (for definitions and notation see the first section of [2]). An L-algebra is a Heyting algebra in which (x → y) + (y → x) = 1 for all x, y.
openaire +2 more sources
Point-Free, Set-Free Concrete Linear Algebra
2011Abstract linear algebra lets us reason and compute with collections rather than individual vectors, for example by considering entire subspaces. Its classical presentation involves a menagerie of different settheoretic objects (spaces, families, mappings), whose use often involves tedious and non-constructive pointwise reasoning; this is in stark ...
openaire +1 more source
Multidisciplinary standards of care and recent progress in pancreatic ductal adenocarcinoma
Ca-A Cancer Journal for Clinicians, 2020Aaron J Grossberg +2 more
exaly
1993
Abstract Although Lie polynomials first appeared at the turn of the century, there have been many recent developments especially from the point of view of representation theory. This book covers all aspects, with emphasis on the algebraic and combinatorial point of view as well as representation theory.
openaire +1 more source
Abstract Although Lie polynomials first appeared at the turn of the century, there have been many recent developments especially from the point of view of representation theory. This book covers all aspects, with emphasis on the algebraic and combinatorial point of view as well as representation theory.
openaire +1 more source
Methylammonium-free wide-bandgap metal halide perovskites for tandem photovoltaics
Nature Reviews Materials, 2023Alexandra J Ramadan +2 more
exaly
Brachytherapy: An overview for clinicians
Ca-A Cancer Journal for Clinicians, 2019Cyrus Chargari +2 more
exaly
Lung cancer: New biological insights and recent therapeutic advances
Ca-A Cancer Journal for Clinicians, 2011Suresh S Ramalingam, Fadlo R Khuri
exaly
Understanding biology to tackle the disease: Multiple myeloma from bench to bedside, and back
Ca-A Cancer Journal for Clinicians, 2014Giada Bianchi
exaly