A1 Refereed original research article in a scientific journal
From infinite to finite by identifying variables in many-valued logic
Authors: Salomaa Arto
Publisher: Institut fur Informatik, Justus-Liebig-Universitat Giessen
Publication year: 2018
Journal: Journal of Automata, Languages and Combinatorics
Journal name in source: Journal of Automata, Languages and Combinatorics
Volume: 23
First page : 293
Last page: 301
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.