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

JournalJournal 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