Lattice of truth values for a paraconsistent logic?

  • #1
nomadreid
Gold Member
1,543
167
Usually the truth values of propositions of a logic are structured into a lattice, with 0 (False) on (say) the bottom and 1(True) on (say) the top, and the connecting lines being implication. In paraconsistent logics, there is at least one node which is not implied by 0. Can one safely say that a paraconsistent logic would not be able to refer to a lattice of truth values? If not, what would a lattice for the truth values of a paraconsistent system look like?
 

Answers and Replies

  • #3
nomadreid
Gold Member
1,543
167
thanks, sysprog; I know the article, but it is not clear to me how one would get a distributive lattice out of these truth tables. I found a more thorough answer in the following article, that I am still working through: "Lattice-baed Paraconsistent Logic", by Wendy McCaull and Dimiter Vakarelov, Lecture Notes in Computer Science 3929, Relational Methods in Computer Science ; Springer Verlag, ed. McCaull & WInter, 2006, pages 173-187.
 

Related Threads on Lattice of truth values for a paraconsistent logic?

  • Last Post
Replies
4
Views
2K
  • Last Post
Replies
3
Views
1K
  • Last Post
Replies
4
Views
4K
  • Last Post
Replies
6
Views
5K
  • Last Post
Replies
1
Views
6K
Replies
10
Views
2K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
5
Views
697
Replies
0
Views
2K
  • Last Post
Replies
0
Views
1K
Top