Bilattices and the theory of truth

This publication has 14 references indexed in Scilit:

• Bilattices and the semantics of logic programming
  The Journal of Logic Programming, 1991
• Multivalued logics: a uniform approach to reasoning in artificial intelligence
  Computational Intelligence, 1988
• Logic Programming on a Topological Bilattice1
  Fundamenta Informaticae, 1988
• Notes on the mathematical aspects of Kripke's theory of truth.
  Notre Dame Journal of Formal Logic, 1986
• A kripke-kleene semantics for logic programs*
  The Journal of Logic Programming, 1985
• A Useful Four-Valued Logic
  Published by Springer Nature ,1977
• Intuitive semantics for first-degree entailments and ?coupled trees?
  Philosophical Studies, 1976
• Outline of a Theory of Truth
  The Journal of Philosophy, 1975
• Admissible Sets and Structures
  Published by Springer Nature ,1975
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
  Mathematical Logic Quarterly, 1963