Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices
- 1 January 1996
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- MUltlog 1.0: Towards an expert system for many-valued logicsPublished by Springer Nature ,1996
- Resolution-based Theorem Proving for Many-valued LogicsJournal of Symbolic Computation, 1995
- Systematization of finite many-valued logics through the method of tableauxThe Journal of Symbolic Logic, 1987
- Sequents in many valued logic IFundamenta Mathematicae, 1967
- On a generalization of quantifiersFundamenta Mathematicae, 1957
- Minimization of Boolean Functions*Bell System Technical Journal, 1956
- The Problem of Simplifying Truth FunctionsThe American Mathematical Monthly, 1952