Results 11 to 20 of about 4,198,145 (291)
INFORMAL PROOF, FORMAL PROOF, FORMALISM [PDF]
The Review of Symbolic Logic, 2015 AbstractIncreases in the use of automated theorem-provers have renewed focus on the relationship between the informal proofs normally found in mathematical research and fully formalised derivations. Whereas some claim that any correct proof will be underwritten by a fully formal proof, sceptics demur.
Weir, Alan
openaire +3 more sources
'Evolution-Proofing' Antibacterials [PDF]
Evolution, Medicine, and Public Health, 2014 When antibiotics first came into use, they were so effective at curbing bacterial infections that it seemed the age-old battle of man vs. microbe would soon be at an end [1]. Eighty years and dozens of drugs later, we now know better. Following each new antibiotic’s launch, reports soon accumulated that once-treatable infections were becoming ...
Ross-Gillespie Adin, Kümmerli Rolf
openaire +3 more sources
Herbrand Proofs and Expansion Proofs as Decomposed Proofs [PDF]
Journal of Logic and Computation, 2020 Abstract The reduction of undecidable first-order logic to decidable propositional logic via Herbrand’s theorem has long been of interest to theoretical computer science, with the notion of a Herbrand proof motivating the definition of expansion proofs.
openaire +1 more source
, 2018 We used computer proof-checking methods to verify the correctness of our proofs of the propositions in Euclid Book I. We used axioms as close as possible to those of Euclid, in a language closely related to that used in Tarski's formal geometry.
Beeson, Michael +2 more
core +3 more sources
Practical Theory Extension in Event-B [PDF]
, 2013 . The Rodin tool for Event-B supports formal modelling and proof using a mathematical language that is based on predicate logic and set theory. Although Rodin has in-built support for a rich set of operators and proof rules, for some application areas ...
Butler, Michael, Maamria, Issam
core +1 more source
A new coinductive confluence proof for infinitary lambda calculus
, 2020 We present a new and formal coinductive proof of confluence and normalisation of B\"ohm reduction in infinitary lambda calculus. The proof is simpler than previous proofs of this result.
Czajka, Łukasz
core +1 more source
Glueability of Resource Proof-Structures: Inverting the Taylor Expansion [PDF]
, 2019 A Multiplicative-Exponential Linear Logic (MELL) proof-structure can be expanded into a set of resource proof-structures: its Taylor expansion. We introduce a new criterion characterizing those sets of resource proof-structures that are part of the ...
Guerrieri, Giulio +2 more
core +4 more sources
Political rhetoric used by the main parties in the final debate before the 1999 election
Communicare, 2022 In order to identify the rhetorical characteristics of the participants, this study aimed to describe, interpret and evaluate the verbal strategies and tactics used by the five debaters who participated.
Paul Schutte
doaj +1 more source
Proofs, Proofs, Proofs, and Proofs [PDF]
, 2010 In logic there is a clear concept of what constitutes a proof and what not. A proof is essentially defined as a finite sequence of formulae which are either axioms or derived by proof rules from formulae earlier in the sequence. Sociologically, however, it is more difficult to say what should constitute a proof and what not.
openaire +2 more sources
Journal of Clinical Tuberculosis and Other Mycobacterial Diseases, 2019 The Lancet Commission on High-Quality Health Systems called for a ‘revolution’ in the quality of care provided in low- and middle-income countries.
Helene-Mari van der Westhuizen +4 more
doaj +1 more source