Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Proof and Definition in Logic and Type Theory Proof and Definition in Logic and Type Theory
 

Summary: Proof and Definition in Logic and Type Theory
Proof and Definition in Logic and Type Theory
Robin Adams
robin@cs.rhul.ac.uk
Royal Holloway, University of London
14 November 2008
Proof and Definition in Logic and Type Theory
Introduction
A system of logic consists of:
a formal language in which the statements of mathematics
can be written;
a set of rules by which some of these statements can be
proved.
I will talk about how three classes of system of logic:
predicate logic
type theory
logic-enriched type theory
handle two questions
Definition How are new objects (sets, functions, . . . )
introduced into the language?

  

Source: Adams, Robin - Department of Computer Science, Royal Holloway, University of London

 

Collections: Computer Technologies and Information Sciences