Foundations

Data Surge Corp Data Surge Corp- USA. Developers of geotechnical software applications for professional engineers and geotechnical engineering students. On-line, limited versions of programs. GEO-SLOPE International Ltd. GEO-SLOPE International Ltd.- CAD software for geotechnical and geo-environmental modelling Geocomp Corp Geocomp Corp- USA. Developers of software and hardware data acquisition systems for acquiring, manipulating and reporting of test data in soils laboratories, and automated systems… Oasys Software Oasys Software- 32-bit Windows programs for flexible retaining wall, soil movement and geotechnical finite element analysis. Geo & Soft International Geo & Soft International- Geotechnical software for rock mechanics, soil mechanics, hydrogeology, geophysics and geology. English, Italian and Spanish. Proof Theory on the Eve of Year 2000 Proof Theory on the Eve of Year 2000- A survey consisting of 10 questions asked by Solomon Feferman and 29 responses. Development of Proof Theory (Stanford Encyclopedia of Philosophy) Development of Proof Theory (Stanford Encyclopedia of Philosophy)- An historic description of changes in proof theory over the years. Topics cover prehistoric, Hilbert's methods, … Proof Theory Mailing List Proof Theory Mailing List- Newsgroup created to subscribe and send in announcements of events relating to proof theory. List of participants with their web sites, archive of messa… Proof Theory as an Alternative to Model Theory Proof Theory as an Alternative to Model Theory- Short article by Dale Miller, arguing that logic programming languages should base their semantics on proof theory, not model theor… Proof Theory Proof Theory- Open Encyclopedia entry. Hierarchically organized by subtopics. Deep Inference Deep Inference- The calculus of structures is a new proof theoretical formalism. It exploits a top-down symmetry of derivations made possible by deep inference. Epsilon Calculus Epsilon Calculus- Discussion of David Hilbert's development of this type of logical formalism with emphasis on proof-theoretic methods. Mathematical Reasoning Group Mathematical Reasoning Group- Research group based in Edinburgh, it is running on the interaction between logic, mathematics and informatics. Links to publications, homepages, rep… G. Japaridze's Papers G. Japaridze's Papers- Full list of publications by this author, with about 30 items in the area of proof theory. Many of the papers are downloadable.