A1 Refereed original research article in a scientific journal

From infinite to finite by identifying variables in many-valued logic




AuthorsSalomaa Arto

PublisherInstitut fur Informatik, Justus-Liebig-Universitat Giessen

Publication year2018

Journal:Journal of Automata, Languages and Combinatorics

Journal name in sourceJournal of Automata, Languages and Combinatorics

Volume23

First page 293

Last page301


Abstract

The paper investigates compositions of many-valued truth-functions. There are specific n-valued truth-functions f, customarily referred to as Sheffer functions such that any n-valued truth-function of an arbitrary number of variables can be expressed as a composition of f. Moreover, there are infinitely many bases for the set of all n-valued truth-functions. However, the number of bases is finite if attention is restricted to bases where no variable identification is possible.



Last updated on 2024-26-11 at 14:12