Results 161 to 170 of about 19,730 (191)
Some of the next articles are maybe not open access.
Deductive Systems and Galois Connections
2004The concept of a b-deductive system will be introduced. An interconnection between b-deductive systems and congruence kernels will be shown. We define a Galois connection between sets of binary term functions and systems of subsets of a given algebra and study closed sets with respect to the induced closure operators and the algebraic properties of ...
I. Chajda, R. Halaš
openaire +1 more source
Logical Relations and Galois Connections
2002Algebraic properties of logical relations on partially ordered sets are studied. It is shown how to construct a logical relation that extends a collection of base Galois connections to a Galois connection of arbitrary higher-order type. "Theorems-for-free" is used to show that the construction ensures safe abstract interpretation of parametrically ...
Kevin Backhouse, Roland Backhouse
openaire +1 more source
Integrative oncology: Addressing the global challenges of cancer prevention and treatment
Ca-A Cancer Journal for Clinicians, 2022Jun J Mao,, Msce +2 more
exaly
Galois Connections for Partial Algebras
2004In connection with partial algebras one has many more relevant polarities (i.e. Galois connections induced by binary relations) than in the case of total algebras. On one side there are many different subsets of the set of first order formulas, which one wants to use as a concept of identity in some special context, and where one is interested in the ...
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
Oral complications of cancer and cancer therapy
Ca-A Cancer Journal for Clinicians, 2012Joel B Epstein +2 more
exaly