Results 21 to 30 of about 101,446 (268)
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
Вестник Кемеровского государственного университета, 2021 Propositional frame-based modeling is one of the most effective methods of cognitive linguistics. This method considers the interaction between the semantic and cognitive aspects of units of two typologically different languages, e.g. Russian and Chinese,
Guo Li Hong, F. E. Abdullayeva
doaj +1 more source
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 +3 more sources
FROM SELECTION TO PROPOSITION: Qualitative Data Analysis Models and Methods
Journal Communication Spectrum, 2015 This article formulates the qualitative data analysis process steps to make it easier for researchers to process and interpret data systematically. The qualitative data analysis model starts from the Selection stage, which selects and sorts relevant and ...
Bambang Sukma Wijaya
doaj +1 more source
Communications of the ACM, 2015 Connecting mathematical logic and computation, it ensures that some aspects of programming are absolute.
openaire +2 more sources
Metaphor as a speech action in a frame model
Гуманитарные и юридические исследованияIntroduction. Earlier studies of the frame organization of the artistic narrative allowed us to come to the conclusion that, firstly, ontological frames-determinants can predetermine the narrative structure of both extended fragments of the narrative ...
S. V. Gusarenko, M. K. Gusarenko
doaj +1 more source
On Hierarchical Propositions [PDF]
Journal of Philosophical Logic, 2019 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +4 more sources