Modus Ponens And Modus Tollens In Linguistic Truth-Valued Propositional Logic
Bithi Chattaraj, Sumita Basu
TL;DR
This paper explores how Modus Ponens and Modus Tollens rules operate with linguistic truth values represented by lattices, revealing that their truth values can be graded rather than absolute.
Contribution
It introduces a method to compute truth values of logical rules with linguistic truth values using lattice structures, highlighting their non-binary nature.
Findings
Truth values are often graded, not absolute.
Lattice structures effectively model linguistic truth values.
Logical rules exhibit varying degrees of truth in linguistic contexts.
Abstract
Truth values of Modus Ponens and Modus Tollens rules for propositions having linguistic truth value that may be represented by lattice(Fig1, Fig2) are computed in this paper. The results show that the truth values are not always absolutely true but have graded truth values in some cases.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Algebra and Logic · Rough Sets and Fuzzy Logic · Logic, Reasoning, and Knowledge