Truth and meaning

DOI10.1016/0004-3702(89)90028-3zbMath0694.03020OpenAlexW2011977544MaRDI QIDQ908898

Donald Perlis

Publication date: 1989

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(89)90028-3

zbMATH Keywords

paradoxtruthprovabilitymeaningparaconsistent logicsmetalanguageexcluded middlecommon senseexcluded straddleT-scheme

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Artificial intelligence (68T99)

Related Items (1)

Resolving contradictions: A plausible semantics for inconsistent systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)
• Some remarks on extending and interpreting theories with a partial predicate for truth
• Languages with self-reference. II: Knowledge, belief, and modality
• A model for belief revision
• Toward useful type-free theories. I
• The Logic of Contradiction
• Outline of a Theory of Truth

This page was built for publication: Truth and meaning