Manfred Kerber  Home/Search
Context
Related
| cs.bham.ac.uk/pub/auth...98JELIA.ps.gz cs.bham.ac.uk/pub/...WSparadoxes.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: cs.bham.ac.uk/~mmk/publica...conf (more) From: cs.bham.ac.uk/~mmk/publicati...ws (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . A powerful syntactic theory as well as expressive modal logics have to deal with self-referentiality. Self-referentiality and paradoxes seem to be close neighbours and depending on the logical system, they have devastating consequences, since they introduce contradictions and trivialise the logical system. There is a large amount of different attempts to tackle these problems. Some of them are compared in this paper, futhermore a simple approach based on a three-valued logic is advocated. In... (Update)
Similar documents (at the sentence level):
5.2%: Living with Paradoxes - Kerber (Correct)
Active bibliography (related documents): More All
0.6: Mechanising Partiality without Re-Implementation - Manfred Kerber, Michael.. (1997) (Correct)
0.3: Reasoning without Believing - On the Mechanization of.. - Kerber, Kohlhase (Correct)
0.2: A Mechanization of Strong Kleene Logic for Partial.. - Manfred Kerber, Michael.. (1994) (Correct)
Similar documents based on text: More All
0.5: Self-reference and Logic - Bolander (2002) (Correct)
0.4: The Principle of Uniform Solution (of the Paradoxes of.. - Smith (2000) (Correct)
0.3: Workshop Description - Many Practical Applications (Correct)
BibTeX entry: (Update)
@article{ kerber98knowledge,
author = "Manfred Kerber",
title = "On Knowledge, Strings, and Paradoxes",
journal = "Lecture Notes in Computer Science",
volume = "1489",
pages = "342--??",
year = "1998",
url = "citeseer.ist.psu.edu/kerber98knowledge.html" }
Citations (may not include all citations):331 Logical Foundations of Artificial Intelligence (context) - Genesereth, Nilsson - 1987
121 Prolegomena to a theory of mechanized formal reasoning (context) - Weyhrauch - 1980
120 Representation of Commonsense Knowledge (context) - Davis - 1990
68 Introduction to Metamathematics (context) - Kleene - 1952
62 Handbook of Logic in Artificial Intelligence and Logic Progr.. (context) - Gabbay, Hogger et al. - 1993
44 Languages with self-reference I: Foundations (context) - Perlis - 1985
39 Outline of a theory of truth (context) - Kripke - 1975
39 Mathematical logic as based on the theory of types (context) - Russell - 1908
37 The Liar -- An Essay on Truth and Circularity (context) - Barwise, Etchemendy - 1986
36 Getfol manual -- Getfol version (context) - Giunchiglia - 1994
30 A mechanization of strong Kleene logic for partial functions - Kerber, Kohlhase - 1994
28 Languages with self-reference II: Knowledge (context) - Perlis - 1988
23 Der Wahrheitsbegriff in den formalisierten Sprachen (context) - Tarski - 1936
7 Mechanising partiality without reimplementation - Kerber, Kohlhase - 1997
6 truth-value gaps (context) - van Fraassen - 1966
2 Collegium Logicum -- Annals of the Kurt-G¨odel-Society (context) - Kerber, Kohlhase et al. - 1996
1 uber das logische Schließen I & II (context) - Gentzen - 1935
Documents on the same site (http://www.cs.bham.ac.uk/~mmk/publications/conf.html): More
Integrating Computer Algebra with Proof Planning - Kerber, Kohlhase, Sorge (1996) (Correct)
Mechanising Partiality without Re-Implementation - Manfred Kerber, Michael.. (1997) (Correct)
Sound And Complete Translations From Sorted Higher-Order Logic.. - Kerber (1994) (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