Beta 1


Title Paraconsistent Higher-Order Logic for Knowledge-Based Systems
Author Kamlarczyk Rasmussen, Thorbjørn
Supervisor Villadsen, Jørgen (Algorithms and Logic, Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark)
Institution Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark
Thesis level Bachelor thesis
Year 2008
Abstract In this report we discuss paraconsistent logic. In classical and intuitionistic logic everything follows from a contradiction. In a paraconsistent logic something limited and more reasonable than everything follows from a contradiction. In this report we concentrate our efforts on many valued paraconsistent firstorder logic. We have formalized a many valued logic and a paraconsistent many valued logic in the generic theorem prover Isabelle. The higher-order aspects of paraconsistent logic have been de-emphasized in this report since it turned out to be quite irrelevant to to many authors of paraconsistent logics. We have also de-emphasized the use of paraconsistent logics in knowledge-based systems, since Isabelle is not very well suited for such a task.
Series IMM-B.Sc.-2008-19
Fulltext
Original PDF bac08_19_net.pdf (0.34 MB)
Admin Creation date: 2008-07-01    Update date: 2008-07-01    Source: dtu    ID: 221034    Original MXD