Maria H. Napierala  Home/Search
Context
Related
| ogi.edu/pub/techrepo...92TH008.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ogi.edu (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: COMPUTATIONAL LOGIC Maria H. Napierala, Ph.D. Oregon Graduate Institute 1992 Supervising Professor: Richard B. Kieburtz This thesis resulted from the research on relating classical and constructive proofs. It is well known that constructive type theories constitute formal systems for constructive mathematics. In these theories the constructivity is implicit in the restriction to intuitionistic logic. This means that restrictions are placed both on the objects studied and on the methods of... (Update)
Active bibliography (related documents): More All
0.5: Words in Contexts Fregean Elucidations - Rott (1998) (Correct)
0.3: Specifications, Algorithms, Axiomatisations and Proofs - Commented .. - Huet (1995) (Correct)
0.3: Set Theory and Nominalisation, Part II - Kamareddine (1992) (Correct)
Similar documents based on text: More All
0.3: Intuitionism As Generalization - Richman (1990) (Correct)
0.1: Recursive Periodization and End-point Singularities - Gladwell, Napierala (1997) (Correct)
0.1: Testing Parallel Multidimensional Integration Algorithms - Gladwell, Napierala (1997) (Correct)
BibTeX entry: (Update)
@phdthesis{ napierala92computational,
author = "Maria H. Napierala",
title = "Computational Logic",
year = "1992",
url = "citeseer.ist.psu.edu/349448.html" }
Citations (may not include all citations):143 Foundations of Constructive Mathematics (context) - Beeson - 1985
101 Lambda-Calculus Notation with Nameless Dummies (context) - de Bruijn - 1972
63 Constructive theories of functions and classes (context) - Feferman
60 Constructions: A Higher Order Proof System for Mechanizing M.. (context) - Th - 1985
34 Reasoning with continuations (context) - Felleisen, Friedman et al. - 1986
33 Une Theorie des Constructions (context) - Th - 1985
27 Information and Control (context) - Th, The et al. - 1988
19 Cornell University (context) - Constable, The - 1985
11 The Logical Syntax of Language (context) - Carnap - 1937
7 The Philosophical Basis of Intuitionistic Logic (context) - Dummett
6 Arithmetization of metamathematics in a general setting (context) - Feferman
4 A History of Formal Logic (context) - Bochenski - 1961
3 Between Constructive and Classical Mathematics (context) - Feferman - 1983
3 Implementing Mathematics in the NuPrl System (context) - Constable - 1986
3 principles and methods of intuitionism (context) - Brouwer
2 The Interpretation of Frege's Philosophy (context) - Dummett - 1981
1 First IEEE Symposium on Logic in Computer Science (context) - Th, of et al. - 1986
1 The University of Chicago Press (context) - Boehner - 1952
1 Reidel Publishing Company (context) - Benacerraf, Mathematical et al. - 1959
1 Introduction to Medieval Logic (context) - Broadie - 1987
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/cse.ogi.edu.html): More
A Meta-theory for Structured Presentations in the COC - Shulman (1997) (Correct)
Learning in Compositional Hierarchies: Inducing the Structure of.. - Utans (1994) (Correct)
When-clauses, Adverbs of quantification, and Focus - Johnston (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC