Downloads provided by UsageCounts
Prime implicant/implicate generating algorithms for multiple-valued logics (MVL's) are introduced. Techniques from classical logic not requiring large normal forms or truth tables are adapted to certain "regular'' multiple-valued logics. This is accomplished by means of signed formulas, a meta-logic for multiple valued logics; the formulas are normalized in a way analogous to negation normal form. The logic of signed formulas is classical in nature. The presented method is based on path dissolution, a strongly complete inference rule. The generalization of dissolution that accommodates signed formulas is described. The method is first characterized as a procedure iterated over the truth value domain $\Delta\,=\,\{0,1, \dots ,n-1\}$ of the MVL. The computational requirements are then reduced via parameterization with respect to the elements and the cardinality of $\Delta$.
Multiple-valued logic, Classificació AMS::03 Mathematical logic and foundations::03B General logic, many-valued logic, negation normal form, algorithms, path dissolution, logic of signed formulas, prime implicants, Post logic, Lògica matemàtica, :03 Mathematical logic and foundations::03B General logic [Classificació AMS], Many-valued logic, MLV's, prime implicates, Regular logics
Multiple-valued logic, Classificació AMS::03 Mathematical logic and foundations::03B General logic, many-valued logic, negation normal form, algorithms, path dissolution, logic of signed formulas, prime implicants, Post logic, Lògica matemàtica, :03 Mathematical logic and foundations::03B General logic [Classificació AMS], Many-valued logic, MLV's, prime implicates, Regular logics
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
| views | 47 | |
| downloads | 95 |

Views provided by UsageCounts
Downloads provided by UsageCounts