Results 41 to 50 of about 206,152 (285)
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
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
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
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
Acquisition of Phrase Correspondences using Natural Deduction Proofs
, 2018 How to identify, extract, and use phrasal knowledge is a crucial problem for the task of Recognizing Textual Entailment (RTE). To solve this problem, we propose a method for detecting paraphrases via natural deduction proofs of semantic relations between
Bekki, Daisuke +3 more
core +1 more source
Rasiowa–Harrop disjunction property [PDF]
, 2016 We show that there is a purely proof-theoretic proof of the Rasiowa–Harrop disjunction property for the full intuitionistic propositional calculus (IPC), via natural deduction, in which commuting conversions are not needed. Such proof is based on a sound
Ferreira, Gilda
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
AAA+ protein unfoldases—the Moirai of the proteome
FEBS Letters, EarlyView.AAA+ unfoldases are essential molecular motors that power protein degradation and disaggregation. This review integrates recent cryo‐electron microscopy (cryo‐EM) structures and single‐molecule biophysical data to reconcile competing models of substrate translocation.
Stavros Azinas, Marta Carroni
wiley +1 more source
Unified Sequent Calculi and Natural Deduction Systems for Until-free Linear-time Temporal Logics
Bulletin of the Section of LogicA unified Gentzen-style proof-theoretic framework for until-free propositional linear-time temporal logic and its intuitionistic variant is introduced.
Norihiro Kamide, Sara Negri
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