The trilattice of constructive truth values

Journal of Logic and Computation

Volumn 11, Issue 6, 2001, Pages 761-788

  Shramko, Yaroslav ^a   Dunn, J Michael ^b   Takenaka, Tatsutoshi ^c  

^a KRYVYI RIH STATE PEDAGOGICAL UNIVERSITY   (Ukraine)

^b INDIANA UNIVERSITY   (United States)

^c Japan Patent Office   (Japan)

Author keywords

Bilattice; Constructive truth values; Many valued logic; Over determined valuation; Trilattice; Truth value space; Under determined valuation

Indexed keywords

BOOLEAN ALGEBRA; LOGIC PROGRAMMING; SEMANTICS; SET THEORY;

TRUTH VALUE SPACES;

MANY VALUED LOGICS;

EID: 0035694545     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/11.6.761     Document Type: Article

References (50)

1. Constructible falsity and inexact predicates
2. Reasoning with logical bilattices
3. A useful four-valued logic
4. How a computer should think
5. Reply to Dag Prawitz
6. Reply to Prawitz
7. Intuitive semantics for first-degree entailment and 'coupled trees'
8. A comparative study of various model-theoretic treatmets of negation: A history of formal negation
9. Partiality and its dual
10. Relevance logic and entailment
11. Logic programming on a topological bilattice
12. Bilattices and the theory of troth
13. Kleene's logic, generalized
14. Knowledge, uncertainty and ignorance in logic: Bilattices and beyond
15. Multi-valued logics
16. Multivalued logics: A uniform approach to reasoning in AI
17. A philosophically plausible formal interpretation of intuitionistic logic
18. A. Die formalen regeln der intuitionistischen logik
19. Studies in logic and foundations of mathematics
20. La conception intuitionniste de la logique
21. Der minimalkalkül, ein reduzierter intuitionistischer formalismus
22. Truth values: What they are? (in Russian)
23. Probabalistic deductive databases
24. Refutability and elementary number theory
25. An approach to constructive mathematical logic
26. Constructible falsity
27. Intuitionistic logic: A philosophical challenge
28. Dummett on the a theory of meaning and its impact on logic
29. Meaning theory and anti-realism
30. Functional completeness and axiomatizability within Belnap's four-valued logic and its expansions
31. Regular bilattices
32. Intuitionistic truth
33. Models for various type-free calculi
34. Evidential bilattice logic and lexical inference
35. On the problem of relevant entailment for intuitionistic logic (in Russian)
36. A philosophically plausible modified Grzegorczyk semantics for first-degree intuitionistic entailment
37. American plan for intuitionistic logic 1: An intuitive background
38. American plan for intuitionistic logic 2: Generalized Kripke models (in Russian)
39. A semantical study of constructive falsity