نتایج جستجو برای: literal)

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

Journal: :Theoretical Computer Science 1987

Journal: :Cognitive Science 1987

Journal: :Psychological Review 1979

Journal: :Journal of Language, Technology & Entrepreneurship in Africa 2011

Journal: :Philosophiques 2006

Journal: :Math. Log. Q. 2006
Renato A. Lewin Irene F. Mikenberg

We introduce a family of matrices that define logics in which paraconsistency and/or paracompleteness occurs only at the level of literals, that is, formulas that are propositional letters or their iterated negations. We give a sound and complete axiomatization for the logic defined by the class of all these matrices, we give conditions for the maximality of these logics and we study in detail ...

2010
Aldo Gangemi Silvio Peroni Fabio Vitali

In this paper we introduce the pattern literal reification, a modelling technique to address scenarios, in which we need to bless particular literals, usually when applying data properties, in order to use them as subjects and/or full-fledged objects of semantic assertions.

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

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