Theorem counting |
| |
| Authors: | M G Beavers |
| |
| Institution: | (1) Department of Mathematics, University of the Ozarks, 415 College Ave, 72830 Clarksville, AR, U.S.A. |
| |
| Abstract: | Consider the set of tautologies of the classical propositional calculus containing no connective other than  and, or , and not. Consider the subset of this set containing tautologies in exactlyn propositional variables. This paper provides a method for determining the number of equivalence classes of each such subset modulo equivalence in the infinite-valued Lukasiewicz propositional calculus. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
