Results 11 to 20 of about 105,097 (268)
Entropy, 2021 The pervasive presence of artificial intelligence (AI) in our everyday life has nourished the pursuit of explainable AI. Since the dawn of AI, logic has been widely used to express, in a human-friendly fashion, the internal process that led an (intelligent) system to deliver a specific output.
Mirko Polato, Fabio Aiolli
openaire +3 more sources
PROPOSITIONAL CONTINGENTISM [PDF]
The Review of Symbolic Logic, 2015 AbstractAccording to propositional contingentism, it is contingent what propositions there are. This paper presents two ways of modeling contingency in what propositions there are using two classes of possible worlds models. The two classes of models are shown to be equivalent as models of contingency in what propositions there are, although they ...
openaire +4 more sources
Propositions as sessions [PDF]
Journal of Functional Programming, 2012 Abstract Continuing a line of work by Abramsky (1994), Bellin and Scott (1994), and Caires and Pfenning (2010), among others, this paper presents CP, a calculus, in which propositions of classical linear logic correspond to session types. Continuing a line of work by Honda (1993), Honda et al
openaire +4 more sources
PROPOSITION AS A COMPONENT OF ACTUAL DISCOURSE
Гуманитарные и юридические исследования, 2021 In the article proposition is regarded in its referential and pragmatic aspect as a component of an utterance which interacts with cognitive and semantic structures during operative processing of speech products.
S. V. Gusarenko
doaj
Le problème du repérage des arguments
Communication, 2010 The two main obstacles to argumentative analysis are how to identify arguments and how to characterize the argumentation. This article focuses on identifying arguments within a typical newspaper editorial. By defining the argument as an articulation of a
Gilles Gauthier
doaj +1 more source
Notre Dame Journal of Formal Logic, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
ACM Transactions on Computational Logic, 2011 Sequential propositional logic deviates from conventional propositional logic by taking into account that during the sequential evaluation of a propositional statement, atomic propositions may yield different Boolean values at repeated occurrences. We introduce “free valuations” to capture this dynamics of a propositional statement's environment.
Jan A. Bergstra, Alban Ponse
openaire +4 more sources
The Review of The Grounds of Establishing Copula as a Mode of Existence [PDF]
حکمت صدرایی, 2016 In some propositions and in some languages (such as Persian), beside to subject and predict, there is a word known as copula. Many Muslim philosophers have regarded copula as a level of the levels of the existence and therefore as a mode of existence ...
ali afzali
doaj
Jenis Proposisi Dalam Karangan Argumentasi Siswa
Jurnal Pendidikan: Teori, Penelitian, dan Pengembangan, 2019 : This research was aimed to describe the type of proposition on argumentative text of students. This study is a text analysis study. The data of the study was the sentence of students’ argumentative text.
Syahruddin Syahruddin +2 more
doaj +1 more source