Results 41 to 50 of about 4,242,976 (194)
Notre Dame Journal of Formal Logic, 1986 This is a continuation of the author's investigations [J. Symb. Logic 49, 334-342 (1984; Zbl 0586.03017)] of logics designed to overcome a perceived tension between extensional and intensional features of relevant logics. (This issue has been discussed frequently by relevant logicians. \textit{R. K. Meyer} and \textit{M. A.
openaire +2 more sources
Environment InternationalAccording to the World Health Organisation and European Commission definitions, substances shall be considered as having endocrine disrupting properties if they show adverse effects, have endocrine activity and the adverse effects are a consequence of ...
Laurent Lagadic +9 more
doaj +1 more source
Advances in Proof-Theoretic Semantics
, 2016 Logic; Mathematical Logic and Foundations; Mathematical Logic and Formal ...
core +1 more source
Metaphysics, 2011 According to Ibn Sina's logic, Lozomieh is the only conditional that is suitable to be named real conditional. Also Lozomieh is among the foundations of Ibn Sina’s logic that the rules Modus Ponens and Modus Tollens would be applied only to it ...
M Hajihosseini
doaj
ASEAS - Austrian Journal of South-East Asian Studies, 2020 Drawing on neo-institutionalism in policy studies, this paper aims to demonstrate that transdisciplinarity is a new logic that could challenge the existing institutional logic of the knowledge production system in Vietnam. This institutional interplay is
Nguyen Minh Doi
doaj +1 more source
On the history of teaching logic at the St. Volodymyr University
Філософія освіти, 2023 The history of logic in Ukraine is still not sufficiently studied. Researchers, as a rule, analyze the legacy of outstanding scholars from a historical-philosophical point of view, paying attention to philosophical problems considered in their works ...
Ірина Хоменко
doaj +1 more source
Logic and Logical Philosophy, 2019 In this paper, a connexive extension of the Relevance logic R→ was presented. It is defined by means of a natural deduction system, and a deductively equivalent axiomatic system is presented too. The goal of such an extension is to produce a logic with stronger connection between the antecedent and the consequent of an implication.
openaire +3 more sources
Why Intuitionistic Relevant Logic Cannot Be a Core Logic
, 2017 International audienceAt the end of the 1980s, Tennant invented a logical system that he called " intuitionistic relevant logic " (IR, for short). Now he calls this same system " Core logic.
Vidal-Rosset, Joseph +1 more
core +1 more source
Exploiting parallelism in coalgebraic logic programming [PDF]
, 2014 We present a parallel implementation of Coalgebraic Logic Programming (CoALP) in the programming language Go. CoALP was initially introduced to reflect coalgebraic semantics of logic programming, with coalgebraic derivation algorithm featuring both ...
Schmidt, Martin +7 more
core +1 more source
BMC Family Practice, 2010 Background China has had no effective and systematic information system to provide guidance for strengthening PHC (Primary Health Care) or account to citizens on progress.
Wang Bin +5 more
doaj +1 more source