نتایج جستجو برای: de morgan

تعداد نتایج: 1537501  

Journal: :The Review of Symbolic Logic 2019

Journal: :Proceedings of the Yerevan State University 2022

It is well known that free Boolean algebra on n generators isomorphic to the of functions variables. The distributive lattice monotone In this paper we introduce concept De Morgan function and prove Keywords: Antichain, function, algebra.

2007
Martin J. Buss

It is easy to think of possible tensions between one’s faith and academic reality, but I wish to address here a positive relation, namely, the fact that the academy is itself indebted to religious faith. In particular, I want to point to the impact of Jewish and Christian traditions on a phase of thought that began at the end of the nineteenth century. A significant theme of this thinking was t...

2012
Wendy M. Wright

[1] There is, among scholars of religion, a recent materialist turn that approaches the study of religion not primarily as a set of de-contextualized beliefs or as free-floating symbol-systems but as embodied practices. Part of this turn involves interdisciplinary attention to the visual aspects of belief. Thus images are no longer conceived mainly as illustrations of textual narratives or as s...

Journal: :American journal of medical genetics. Part A 2015
Debora Bertola Maria Rita Passos-Bueno Alexandre Pereira Chong Kim Tim Morgan Stephen P Robertson

Recurrence of Frontometaphyseal Dysplasia in Two Sisters With a Mutation in FLNA and an Atypical Paternal Phenotype: Insights Into Genotype–Phenotype Correlation Debora Bertola,* Maria Rita Passos-Bueno, Alexandre Pereira, Chong Kim, Tim Morgan, and Stephen P. Robertson Faculdade de Medicina da Universidade de São Paulo, Unidade de Genética do Instituto da Criança, São Paulo, Brazil University ...

2016
Wojciech Buszkowski

CNL, intoduced by de Groote and Lamarche [11], is a conservative extension of Nonassociative Lambek Calculus (NL) by a De Morgan negation ∼, satisfying A∼/B ⇔ A\B∼. [11] provides a fine theory of proof nets for CNL and shows cut elimination and polynomial decidability. Here the purely proof-theoretic approach of [11] is enriched with algebras and phase spaces for CNL. We prove that CNL is a str...

Journal: :Conjeturas 2022

Este artigo, com abordagem qualitativa e técnica de análise hermenêutica teórico-descritiva, tem por objetivo produzir uma reflexão sobre a metáfora Morgan (2010) acerca procedimentos éticos dentro da empresa, partir sua obra “Imagens Organização”, em conjunto proposta do filósofo Edgar Morin, quando contempla ética gênero humano “Os sete saberes necessários para educação futuro”.

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید