Results 41 to 50 of about 205,593 (312)
On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC [PDF]
Logical Methods in Computer Science, 2017 Dummett's logic LC is intuitionistic logic extended with Dummett's axiom: for every two statements the first implies the second or the second implies the first.
Federico Aschieri
doaj +1 more source
Determining Semantic Textual Similarity using Natural Deduction Proofs
, 2017 Determining semantic textual similarity is a core research subject in natural language processing. Since vector-based models for sentence representation often use shallow information, capturing accurate semantics is difficult.
Bekki, Daisuke +3 more
core +1 more source
Revisiting the correspondence between cut-elimination and normalisation [PDF]
, 2000 Cut-free proofs in Herbelin's sequent calculus are in 1-1 correspondence with normal natural deduction proofs. For this reason Herbelin's sequent calculus has been considered a privileged middle-point between L-systems and natural deduction.
Espírito Santo, José
core +1 more source
Towards a canonical classical natural deduction system [PDF]
, 2012 Preprint submitted to Elsevier, 6 July 2012This paper studies a new classical natural deduction system, presented as a typed calculus named lambda-mu- let.
Ariola +33 more
core +2 more sources
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
Geofluids, 2021 Within the existing leakage model accounting for drilling mud loss in naturally-fractured formations, the leak-off velocity is assigned to a fixed value or described by the Cater model, which does not consider the influence of dual-system hydromechanical
Hao Peng +4 more
doaj +1 more source
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
Modal Spectroscopy of Optoexcited Vibrations of a Micron-Scale On-Chip Resonator at Greater than 1 GHz Frequency [PDF]
, 2007 We analyze experimentally and theoretically >1 GHz optoexcited mechanical vibration in an on-chip micron-scaled sphere. Different eigen-mechanical modes are excited upon demand by the centrifugal radiation pressure of the optical whispering-gallery-mode,
Carmon, Tal, Vahala, Kerry J.
core +1 more source
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