Results 11 to 20 of about 10,814 (309)
Дискурс, 2020 Introduction. The article continues the series of publications on the linguistics of relations (hereinafter R–linguistics) and is devoted to an introduction to the logic of natural language in relation to the approach considered in the series.
O. M. Polyakov
doaj +3 more sources
Concerning the Logic of Natural Languages and the “Naturalness” of the Logical Ones [PDF]
Word, 1967 (1967). Concerning the Logic of Natural Languages and the “Naturalness” of the Logical Ones. WORD: Vol. 23, Linguistic Studies Pesented to Andre Martinet: Part One, General Linguistics, pp. 13-16.
exaly +2 more sources
On the Expressiveness of TPTL and MTL over ω-Data Words [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Metric Temporal Logic (MTL) and Timed Propositional Temporal Logic (TPTL) are prominent extensions of Linear Temporal Logic to specify properties about data languages.
Claudia Carapelle +3 more
doaj +1 more source
Language and the African Philosophical Traditions
Yoruba Studies Review, 2021 Are there universal principles, categories, or forms of reasoning that apply to all aspects of human experience—irrespective of culture and epoch? Numerous scholars have explored this very question from Africana perspectives: Kwasi Wiredu (1996) explored
Kọ́lá Abímbọ́lá
doaj +3 more sources
Expressive Path Queries on Graph with Data [PDF]
Logical Methods in Computer Science, 2015 Graph data models have recently become popular owing to their applications, e.g., in social networks and the semantic web. Typical navigational query languages over graph databases - such as Conjunctive Regular Path Queries (CRPQs) - cannot express ...
Pablo Barcelo +2 more
doaj +1 more source
Linear Temporal Logic for Regular Cost Functions [PDF]
Logical Methods in Computer Science, 2014 Regular cost functions have been introduced recently as an extension to the notion of regular languages with counting capabilities, which retains strong closure, equivalence, and decidability properties.
Denis Kuperberg
doaj +1 more source
eLife, 2020 Despite the importance of programming to modern society, the cognitive and neural bases of code comprehension are largely unknown. Programming languages might ‘recycle’ neurocognitive mechanisms originally developed for natural languages.
Yun-Fei Liu +3 more
doaj +1 more source
Nested Hoare Triples and Frame Rules for Higher-order Store [PDF]
Logical Methods in Computer Science, 2011 Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level languages with ML-style general (higher-order) storage, we investigate the ...
Jan Schwinghammer +3 more
doaj +1 more source
Knowledge Distillation-Based Multilingual Code Retrieval
Algorithms, 2022 Semantic code retrieval is the task of retrieving relevant codes based on natural language queries. Although it is related to other information retrieval tasks, it needs to bridge the gaps between the language used in the code (which is usually syntax ...
Wen Li, Junfei Xu, Qi Chen
doaj +1 more source
Lenguaje, 2021 This paper is intended to show that the properties classical logic attributes to conjunction are not always found in real compound nouns in natural language. This fact is described by means of several examples taken from different natural languages.
Miguel López-Astorga
doaj +1 more source