Results 51 to 60 of about 4,242,976 (194)
A post-style proof of completeness theorem for symmetric relatedness Logic S [PDF]
, 2018 One of the logic defined by Richard Epstein in a context of an analysis of subject matter relationship is Symmetric Relatedness Logic S. In the monograph [2] we can find some open problems concerning relatedness logic, a Post-style completeness theorem ...
Klonowski, Mateusz
core +2 more sources
The relevant fragment of first order logic
, 2016 Under a proper translation, the languages of propositional (and quantified relevant logic) with an absurdity constant are characterized as the fragments of first order logic preserved under (world-object) relevant directed bisimulations. Furthermore, the
Badia, Guillermo
core +1 more source
EBU’L-BEREKAT EL-BAĞDADİ’NİN MANTIK İLMİNE BAKIŞI
İslami İlimler Dergisi, 2010 This research is about Abul Barakat al Baghdadi’s opinions on Logic. The aim of, functiol of, subject of logic, and its place in the classification of sciences is mentioned in this article.
Ahmet Kamil Cihan
doaj
The King and Ace Puzzle: A Proposal of Solution from a Term Logic
ProfilWhat I call the ‘king and ace puzzle’ here is an inference whose correct conclusion is hard to infer for people. There are reasoning theories offering explanations about this fact, including relevant frameworks such as the mental logic theory and the ...
Miguel López-Astroga
doaj +1 more source
A Novel Framework for Gauging Information Extracted from Smartphones Using Neutrosophic Logic [PDF]
Neutrosophic Sets and SystemsSmartphones contain a vast amount of information about their users, which can be used as evidence in criminal cases. However, the sheer volume of data can make it challenging for forensic investigators to identify and use the most relevant information ...
R. M. Abou Alzahab +5 more
doaj +1 more source
f-SHOIQN:a fuzzy and non-monotonic description logic [PDF]
Jisuanji gongcheng, 2019 There is a lot of fuzzy and non-monotonic knowledge in the semantic Web,which cannot be expressed by the current description logic.Aiming at the problem,this paper adds weak negative constructor and proposes a fuzzy and non-monotonic description logic f ...
WANG Xing,ZHAO Qiaoxia,CHEN Ji,LI Jia
doaj +1 more source
A five-valued logic and a system
Journal of Computer Science and Technology, 2004 The present article introduces a five-valued logic and a deductive system. Here, the logic presented is a relevant fragment of the @-logic, which is also a space-time logic. These five values correspond to the following semantics: unknown, possibly known
Ulisses Ferreira
doaj
Applied Sciences, 2019 In mechanical, electrical, and plumbing (MEP) systems, logic chains refer to the upstream and downstream connections between MEP components. Generating the logic chains of MEP systems can improve the efficiency of facility management (FM) activities ...
Ya-Qi Xiao, Sun-Wei Li, Zhen-Zhong Hu
doaj +1 more source
The Logics of Public Authority: Understanding Power, Politics and Security in Afghanistan, 2002–2014
Stability : International Journal of Security and Development, 2018 This paper applies the three logics of public authority – the political marketplace, moral populism and civicness – to the case of Afghanistan in 2001–2013.
Marika Theros, Mary Kaldor
doaj +1 more source
Logic as a Key to Interdisciplinary Integration for Students in the Mathematical Sciences [PDF]
Journal of Systemics, Cybernetics and Informatics, 2017 We describe the creation and development of a course on mathematical logic and its extensions and limitations, in which coverage of technical material is interleaved with and related to discussion of relevant historical, linguistic, philosophical, and ...
Thomas Marlowe, Fr. Joseph R. Laracy
doaj