Back to Results
First PageMeta Content
Propositional calculus / Semantics / Type theory / Model theory / Logic programming / Negation / Prolog / Entailment / Logical framework / Logic / Mathematical logic / Logic in computer science


Elimination of Negation in a Logical Framework Alberto Momigliano December 15, 2000 CMU-CSSchool of Computer Science
Add to Reading List

Document Date: 2000-12-15 10:34:26

Open Document

File Size: 839,33 KB

Share Result on Facebook

City

Pittsburgh / Milan / /

Facility

Computer Science Carnegie Mellon University / /

Holiday

Assumption / /

IndustryTerm

generic theorem proving systems / specification tool / primitive negation operator / deductive systems / automated reasoning tool / type systems / goal-oriented proof search / search structure / /

Organization

National Science Foundation / Philosophy Thesis Committee / CMU-CS-00-175 School of Computer Science Carnegie Mellon University Pittsburgh / Pennsylvania State University / /

Person

Massimo / Cristina / Giovanna / Ugo Moscato / Iliano Cervesato / Ben / Frank Pfenning / Velletri / Alberto Momigliano / Dude / Aldo / Stefano / Mario Ornaghi / Carsten Sch / Kathy / Horn Logic / Jerry / Dana Scott / Oliva / Ulrike / Roberto Virga / Garfinkel / Zigler / Jean Bender / Dale Miller / /

Position

author / Principal Investigator / researcher / Chair / thesis advisor / programming interpreter / /

ProgrammingLanguage

Prolog / /

ProvinceOrState

Pennsylvania / Newfoundland / /

Technology

Clause Complement Algorithm / Complement Algorithm / /

SocialTag