نتایج جستجو برای: logic
تعداد نتایج: 151299 فیلتر نتایج به سال:
Journal:
:Annals of Pure and Applied Logic
1999
Journal:
:The Journal of Logic Programming
2000
Journal:
:American Journal of Public Health
1994
Journal:
:American Journal of Public Health
1994
Journal:
:Principia: an international journal of epistemology
2019
Journal:
Iranian Journal of Fuzzy Systems
2015
We study three kinds of compactness in some variants of G"{o}del logic: compactness,entailment compactness, and approximate entailment compactness.For countable first-order underlying language we use the Henkinconstruction to prove the compactness property of extensions offirst-order g logic enriched by nullary connective or the Baaz'sprojection connective. In the case of uncountable first-orde...
Journal:
:Revista de Humanidades de Valparaíso
2019
Journal:
:Electronic Proceedings in Theoretical Computer Science
2019
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید