Results 1 to 10 of about 130,880 (162)
On Sahlqvist Formulas in Relevant Logic. [PDF]
J Philos Logic, 2018 This paper defines a Sahlqvist fragment for relevant logic and establishes that each class of frames in the Routley-Meyer semantics which is definable by a Sahlqvist formula is also elementary, that is, it coincides with the class of structures satisfying a given first order property calculable by a Sahlqvist-van Benthem algorithm. Furthermore, we show
Badia G.
europepmc +8 more sources
Truthmaker Semantics for Relevant Logic [PDF]
Journal of Philosophical Logic, 2020 AbstractI develop and defend a truthmaker semantics for the relevant logic R. The approach begins with a simple philosophical idea and develops it in various directions, so as to build a technically adequate relevant semantics. The central philosophical idea is that truths are true in virtue of specific states. Developing the idea formally results in a
Mark Jago, Jago Mark
exaly +2 more sources
History of Logic in Contemporary China (1949–2021)
Asian Studies, 2022 The second special issue on logic in the Asian Studies journal, this special issue will be one of first such issues focusing on development of research on logic in contemporary China (PRC) published in English in a Western scholarly journal.
Bo Chen, Jan Vrhovski
doaj +1 more source
Relevant Interpretation of Stoic Logic [PDF]
Metaphysics, 2016 This article is going to study the relevant interpretation of stoic logic. Regarding this, first of all two main views with regard to the conditional propositions in stoic logic are examined.
Amin Shahverdi, Mohammad Ali Ejeii
doaj +1 more source
Evaluation the accuracy and recall in general search engines, based on the system relevance and search logic [PDF]
تحقیقات کتابداری و اطلاعرسانی دانشگاهی, 2017 Purpose: using search engines is a way to retrieve information. The aim of this study was to evaluate and compare the recall and accuracy of general search engines, based on the system relevance and search logic.
نصرت ریاحی نیا +3 more
doaj +1 more source
Bulletin of the Section of Logic, 2022 Six interesting variants of the logics BN4 and E4—which can be considered as the 4-valued logics of the relevant conditional and (relevant) entailment, respectively—were previously developed in the literature.
Sandra M. López
doaj +1 more source
The Weak Variable Sharing Property
Bulletin of the Section of Logic, 2023 An algebraic type of structure is shown forth which is such that if it is a characteristic matrix for a logic, then that logic satisfies Meyer's weak variable sharing property.
Tore Fjetland Øgaard
doaj +1 more source
Chinese Research on Mathematical Logic and the Foundations of Mathematics
Asian Studies, 2022 This paper outlines the Chinese research on mathematical logic and the foundations of mathematics. Firstly, it presents the introduction and spread of mathematical logic in China, especially the teaching and translation of mathematical logic initiated ...
Hongguang Wang, Guoping Du
doaj +1 more source
Jaina logic: a model-based analysis of the seven predications
Círculo de Lingüística Aplicada a la Comunicación, 2023 A relevant part of Jainism is its logic. Jaina logic gives tools to communicate and argue. However, it is problematic from the western perspective: it seems to be a paraconsistent system, that is, a system in which a fact and the denial of that very ...
Miguel López Astorga
doaj +1 more source
KOLABORASI IMAN DAN LOGIKA: INTERPRETASI PEREMPUAN KANAAN DI DALAM MATIUS 15:22-28
Manna Rafflesia, 2023 In Christianity, there are two conflicting extremes, one emphasizes logic, namely rationalists such as Rene Descartes and Immanuel Kant, and the other extreme emphasizes faith, which is a number of Pentecostal-charismatics.
Samuel Lengkong
doaj +1 more source