29,412 Hits in 3.9 sec

Expanding the Realm of Systematic Proof Theory [chapter]

Agata Ciabattoni, Lutz Straßburger, Kazushige Terui
2009 Lecture Notes in Computer Science  
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

Virgil Snyder
1915 Bulletin of the American Mathematical Society  
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

Sean McLaughlin, Clark Barrett, Yeting Ge
2006 Electronical Notes in Theoretical Computer Science  
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  
, 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  
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

Sümeyye Parıldar
2017 Nazariyat İslam Felsefe ve Bilim Tarihi Araştırmaları Dergisi (Journal for the History of Islamic Philosophy and Sciences)  
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]

Domingos Soares
2021 arXiv   pre-print
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


Daniel Louw
2013 Scriptura  
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  
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

Inês Hipólito
2015 Progress in Biophysics and Molecular Biology  
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


Joel Thiago Klein
2019 Kriterion  
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

Mohammad Amin Esmaeili, Seyed Jamal Seifi
2022 International Journal of Health Sciences  
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]

Mingsheng Ying
2010 Lecture Notes in Computer Science  
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

Curtis Franks
2010 History and Philosophy of Logic  
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]

Sean Hallgren, Adam Smith, Fang Song
2011 Lecture Notes in Computer Science  
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