A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Expanding the Realm of Systematic Proof Theory
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
This paper is part of a general project of developing a systematic and algebraic proof theory for nonclassical logics. ...
This allows a systematic treatment of logics which could not be dealt with in the previous approach. ...
This causes a deconstruction of the hierarchy; certain axioms which resided at high levels are brought down to lower levels, to the reach of our systematic proof theory (Section 3). ...
doi:10.1007/978-3-642-04027-6_14
fatcat:xofdlspf6jentdd63tha3b7idq
Book Review: A Treatise on the Analytic Geometry of Three Dimensions
1915
Bulletin of the American Mathematical Society
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
With the tremendous amount of new material that has been contributed to this field during the last few decades it is difficult to develop a systematic theory without expanding into several volumes. ...
Three notes, the first on the application of the theory of moduli to periods of functions, the second a study of the realm K{ V82), and the third a brief account of congruences with respect to an ideal ...
doi:10.1090/s0002-9904-1915-02744-8
fatcat:vno64taxzjaahouo37c2enbcdm
Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite
2006
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This technique fundamentally expands the capabilities of HOL-Light while preserving soundness. ...
We define a derived rule in HOL-Light, CVC PROVE, which calls CVC Lite and translates the resulting proof object back to HOL-Light. ...
Acknowledgments We'd like to thank New York University, the University of Pittsburgh, Carnegie Mellon University, and the National Science Foundation (CCR-ITR-0325808) for their support of this work. ...
doi:10.1016/j.entcs.2005.12.005
fatcat:bdkm52hvx5abpei5b3btbkepau
Page 389 of The Accounting Review Vol. 35, Issue 3
[page]
1960
The Accounting Review
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
, but the systematic structure of logic will cer- tainly become an increasingly important influence. ...
The newer approach to organization theory has expanded well be- yond vague references to decision-making groups, and at least some college depart- ments have imported specialists in logical methods. ...
Page 2526 of Mathematical Reviews Vol. , Issue 84g
[page]
1984
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
The most extensive additions are to the final chapter (on categorical algebra), which has been expanded to take account of the development of topos theory. ...
Until such an approach by themes and techniques rather than by personal opinions is used, the history of medical statistics will remain the realm of the antiquarian.
H. O. ...
Mulla Ṣadrā and Eschatology: Evolution of Being, Eiyad S. Al-Kutubi
2017
Nazariyat İslam Felsefe ve Bilim Tarihi Araştırmaları Dergisi (Journal for the History of Islamic Philosophy and Sciences)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Accordingly, the chapters are entitled "Primacy of Existence," "Individuation," "Substantial Motion," "The Nature of Human Being," "Imagination and the Problem of Bodily Return," and Ṣadrā's theories of ...
Zād al-Musāfir presents various principles that summarize Ṣadrā's theory and relates the basic principles upon which he based his theory of eschatology: i) existence supervenes quiddity (aṣālat al-wujūd ...
Al-Kutubi portrays Ṣadrā's theory, which is mainly built upon the Holy Script, as a proof for the hermeneutical importance of the Sadrian transcendental wisdom project (al-ḥikma al-muta'ālīya) (124-25 ...
doi:10.12658/nazariyat.3.2.d0042en
fatcat:gy5wuza6trh5nhnnh7tf7afbgm
Sandage versus Hubble on the reality of the expanding universe
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Other Versions
A critical reading of Lubin & Sandage's 2001 paper on the Tolman effect for the reality of the expansion of the universe clearly reveals that Sandage is far from winning the dispute with Hubble on the ...
After all the years, Hubble's doubt about the reality of the expansion remains as valid as Sandage's certainty expressed in a series of papers in the last decade. ...
on the reality of the expanding universe. ...
arXiv:physics/0605098v4
fatcat:gi4ailctgzctfbypvwbg6325ui
PASTORAL ANTHROPOLOGY BEYOND THE PARADIGM OF MEDIEVAL THINKING: FROM 'CURA ANIMARUM' (THE ANTHROPOLOGYOF SUBSTANTIAL THINKING AND NOUS) TO 'CURA VITAE' (THE ANTHROPOLOGY OF SYSTEMS THINKING AND PHRONESIS)
2013
Scriptura
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Anthropology was influenced by the so called 'object subject' split and the dualism between the spiritual realm and the material realm. ...
It is argued that the implication of this paradigm shift for theory formation in pastoral anthropology and spiritual healing is the reframing of the classic formula of cura animarum (soul as substance) ...
The ultimate representative of reason is God and can lead to the proof of the reality of that concept. In this way the existence of God can be proved (the so called ontological proof of God). ...
doi:10.7833/104-0-176
fatcat:x7tzsqiy6fbebfvjya7flzya7m
Phylogenetics: Tracing the Evolutionary Legacy of Organisms, Metastatic Clones, Bioactive Compounds and Languages
2015
Journal of Phylogenetics & Evolutionary Biology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Since its inception seventy-five years ago, the field of phylogenetics has steadily been expanding to contribute in a number of scientific fields including biogeography, medicinal chemistry, forensics, ...
In this invited editorial contributed to the Journal of Phylogenetics and Evolutionary Biology a big picture of this ever evolving field is expounded. ...
from Indian Council of Social Science Research, Government of India. ...
doi:10.4172/2329-9002.1000e112
fatcat:mai5wvzjw5gyhi3iwktf2wdxdm
Proof phenomenon as a function of the phenomenology of proving
2015
Progress in Biophysics and Molecular Biology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
What is the ontological status of a mathematical proof? Can computer assisted provers output a proof? ...
In contrast, proof is a function of that process d the mathematical phenomenon d that objectively self-presents a property in the world, and that results from a spatiotemporal unity being subject to the ...
Acknowledgements Thanks to the editor and the referees for their exceptionally helpful comments during the review process. ...
doi:10.1016/j.pbiomolbio.2015.06.014
pmid:26160643
fatcat:52uyijnupnb7zpk3vzypcz64oi
KANT'S CONSTITUTION OF A MORAL IMAGE OF THE WORLD*
2019
Kriterion
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In this paper, I argue that the idea of a universal history is systematically legitimized in Kant's transcendental system of philosophy by way of the concept of a need [Bedürfnis] for pure practical reason ...
of the system of pure reason, as well the full development of Kant's moral philosophy, especially for political philosophy. ...
Finally, the last part extends the consequences of this reading into the realm of Kant's political philosophy. ...
doi:10.1590/0100-512x2019n14206jtk
fatcat:knciyebg2bfdjdpriojkg3kcja
From legal proof to scientific proof
2022
International Journal of Health Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Legal proof is a customary affair, while the nature of scientific proof separates it from general custom, and it is a burdensome and methodological affair. ...
Disregarding the nature of proving scientific laws and the difference between a legal claim and a scientific hypothesis can lead to failure in scientific proof. ...
Jafari Langroodi, Mohammad Jafar, Expanded in terminology of law, 1st vol., 1st Edition, Tehran, Ganjedanesh publication. 4. Loevinger, L., "Standards of proof in science and law". ...
doi:10.53730/ijhs.v6ns1.6681
fatcat:xjuusxi6wnchfeybcuiuzzusla
Foundations of Quantum Programming (Extended Abstract)
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Unfortunately, today's software development techniques are not suited to quantum computers due to the essential differences between the nature of the classical world and that of the quantum world. ...
This talk mainly summarizes the author and his collaborators' work in the foundations of quantum programming. ...
The proof of termination law requires an essential application of Takeuti's technique of strong commutator introduced in his studies of quantum set theory. 3 Floyd-Hoare Logic for Quantum Programs [18 ...
doi:10.1007/978-3-642-17164-2_2
fatcat:obcrrz2brbbf3dijr2znvislvq
Cut as Consequence
2010
History and Philosophy of Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Gentzen's conception of logic is compelling in its own right. It is also of historical interest because it allows for a better understanding of the invention of natural deduction and sequent calculi. ...
', and (2) the structure of the sequent calculi li and lk allowed Gentzen to conceptualize completeness as a question about the relationships among a system's individual rules (as opposed to the relationship ...
Acknowledgments The participants in my spring 2009 proof theory seminar at the University of Notre Dame, with their comments and questions, helped me clarify my reading of Gentzen. ...
doi:10.1080/01445340.2010.522365
fatcat:dnibzkfrlfapjkdfxfpaj4d2bm
Classical Cryptographic Protocols in a Quantum World
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
In the computational realm, rewinding is a key technique for reducing the security of a protocol to the hardness of some underlying problem. ...
The extensive theory of these protocols, however, deals almost exclusively with classical attackers. ...
This overcomes a limitation of the proofs of knowledge recently analyzed by Unruh [34] . ...
doi:10.1007/978-3-642-22792-9_23
fatcat:tyze2edatvbupkeoxv5ubsflem
« Previous
Showing results 1 — 15 out of 29,412 results