Results 51 to 60 of about 4,158,085 (300)
Applied Sciences, 2021 Globally, 20% to 40% of medical resources are wasted, which could be avoided through professional audit of health insurance claims. The professional audit can pinpoint excessive use of unnecessary medicines and medical examinations.
Shey-Chiang Su +5 more
doaj +1 more source
The Nature of Propositional Deduction—a Piagetian Perspective
Studia Semiotyczne, 2022 Logic was once thought to describe the laws of thought; however, a plurality of logics has now replaced classical logic, obscuring rather than clarifying the nature of deduction with an embarrassment of riches.
M. A. Winstanley
doaj
A Model-based Semantic Network for Smart Representation and the Inference of Islamic Law
American Journal of Islam and Society, 2017 Over the last few decades, knowledge representation techniques have made huge strides toward computerizing human knowledge. Modern smart engines can capture some aspects of human intelligence and process natural language texts. However, classical Islamic
Ahmed Mabrouk
doaj +1 more source
On Natural Deduction for Herbrand Constructive Logics III: The Strange Case of the Intuitionistic Logic of Constant Domains [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 The logic of constant domains is intuitionistic logic extended with the so-called forall-shift axiom, a classically valid statement which implies the excluded middle over decidable formulas.
Federico Aschieri
doaj +1 more source
Systematic construction of natural deduction systems for many-valued logics [PDF]
, 1993 A construction principle for natural deduction systems for arbitrary, finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent calculi, which in turn can be automatically extracted from the truth tables
Baaz, Matthias +2 more
core +2 more sources
FEBS Letters, EarlyView.Enteropathogenic E. coli (EPEC) infects the human intestinal epithelium, resulting in severe illness and diarrhoea. In this study, we compared the infection of cancer‐derived cell lines with human organoid‐derived models of the small intestine. We observed a delayed in attachment, inflammation and cell death on primary cells, indicating that host ...
Mastura Neyazi +5 more
wiley +1 more source
Transcendental Unity of Apperception In Kant’sTheory of Knowledge
Tsaqafah, 2014 This article aims at delineating Kant’s theory of understanding that integrate subject and object at the transcendent level. Transcendental here refers to the process of thinking in such a way that ‘transcends’ natural thinking. It is called transcendent
Hamid Fahmy Zarkasyi
doaj +1 more source
The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden
Bulletin of the Section of Logic, 2020 We comment on certain features that second-level inference rules commonly used in mathematical proof sometimes have, sometimes lack: suppositions, indirectness, goal-simplification, goal-preservation and premise-preservation. The emphasis is on the roles
David Makinson
doaj +1 more source
, 2016 This is a companion to a paper by the authors entitled "G\"odel's natural deduction", which presented and made comments about the natural deduction system in G\"odel's unpublished notes for the elementary logic course he gave at the University of Notre ...
Adzic, Milos, Dosen, Kosta
core +1 more source
Towards a canonical classical natural deduction system [PDF]
, 2010 This paper studies a new classical natural deduction system, presented as a typed calculus named $\lml$. It is designed to be isomorphic to Curien-Herbelin's calculus, both at the level of proofs and reduction, and the isomorphism is based on the ...
A. Sabry +22 more
core +2 more sources