Three-Valued Gödel Logic With Constants and Involution for Application to R-Functions
Revaz Grigolia · 2023
In this article we introduce a new logic: three-valued Gödel logic with constants and involution using the possibility to represent n-variable R-functions (real functions) such that the number of branches is equal to 3 3 𝑛𝑛𝑛𝑛 instead of 2 2 𝑛𝑛𝑛𝑛 in the case of classical (2valued) logic which increases the expressibility.This many-valued logic is offered for application in the class of R-functions partitioned in branches corresponding to some Gödel logic formulas.