Results 31 to 40 of about 231,357 (313)
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 +3 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
Dialectical Obligations in Political Debate
Informal Logic, 2008 Political debate is a distinctive domain in argumentation, characterized by these features: it is about proposals for action, not about propositions that may have a truth value; there may be good arguments on both sides; neither the proposal nor its ...
Christian Kock
doaj +1 more source
Интеграция образования, 2022 Introduction. This article deals with the problem of studentsʼ understanding of educational texts and ways of diagnosing the level of perception and understanding of secondary texts.
Svetlana V. Shustova +3 more
doaj +1 more source
Proceedings of the 11th coference on Computational linguistics -, 1986 The function words of a language provide explicit information about how propositions are to be related. We have examined a subset of these function words, namely the subordinating conjunctions which link propositions within a sentence, using sentences taken from corpora stored on magnetic tape.
David S. Brée, R. A. Smit
openaire +2 more sources
Towards a Theory of Interoperability of Software Systems
Ingeniería e Investigación, 2023 Interoperability is a property of software quality that is related to the cooperation between software systems for exchanging information. However, this concept is not well explained or understood.
Diana Maria Torres-Ricaurte +3 more
doaj +1 more source
Notre Dame Journal of Formal Logic, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Allamah Ṭabaṭabai’s View on Nafs Al-Amr: An Ontological Basis for the Correspondence of Proposition
Ulumuna, 2016 One of the most prevalent critics of correspondence theory of truth is the scope it contains. The objection is that the proponents of this theory could solely apply their theory of truth to some limited domain−which has something to correspond to− like ...
Sihabudin Sihabudin
doaj +1 more source