arXiv:1810.03437 Abstract | arXiv Analytics

arXiv:1810.03437 [math.LO]Abstract References Reviews Resources

Modus Ponens And Modus Tollens In Linguistic Truth-Valued Propositional Logic

Published 2018-09-18Version 1

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.

Categories: math.LO

Keywords: linguistic truth-valued propositional logic, modus ponens, modus tollens rules, linguistic truth value, graded truth values

Related articles: Most relevant | Search more

arXiv:math/9607204 [math.LO] (Published 1996-07-05)

Making proofs without Modus Ponens: An introduction to the combinatorics and complexity of cut elimination

Alessandra Carbone, S. Semmes

arXiv:2205.01269 [math.LO] (Published 2022-05-03)

Modus ponens and modus tollens for the compositional rule of inference with aggregation functions

Dechao Li, Qingxue Zeng

arXiv:1504.05728 [math.LO] (Published 2015-04-22)

Undecidable iterative propositional calculus

Grigoriy V. Bokov