A note on three-valued logic and Tarski theorem on truth definitions

DOI10.1007/BF00713550zbMath0457.03024OpenAlexW2029847850MaRDI QIDQ1150605

Andrea Cantini

Publication date: 1980

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00713550

zbMATH Keywords

definabilityNepejvoda notion of truthsemantical closure for theories

Mathematics Subject Classification ID

Many-valued logic (03B50) Interpolation, preservation, definability (03C40)

Related Items (2)

Extending the first-order theory of combinators with self-referential truth ⋮ Toward useful type-free theories. I

Cites Work

• A new concept of predicative truth and definability
• Widerspruchsfreier Aufbau einer typenfreien Logik. (Erweitertes System.) I, II
• Outline of a Theory of Truth
• Abstract First Order Computability. I
• An extension of basic logic
• Unnamed Item
• Unnamed Item

This page was built for publication: A note on three-valued logic and Tarski theorem on truth definitions