scientific article; zbMATH DE number 4154405

zbMATH Open0704.03003MaRDI QIDQ3483260FDOQ3483260

Authors: Maurizio Negri 

Publication date: 1989

Title of this publication is not available (Why is that?)

Recommendations

• How truthlike can a predicate be? A negative result
• On the construction of fully interpreted formal languages which posses their truth predicates
• An axiomatic approach to self-referential truth
• A guide to truth predicates in the modern era
• A fixed point theorem for the weak Kleene valuation scheme

zbMATH Keywords

truth predicateTarski's theoremrelational structure

Mathematics Subject Classification ID

Classical first-order logic (03B10) Model theory (03C99)

Cited In (1)

• On the construction of fully interpreted formal languages which posses their truth predicates

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3483260)