MUltlog 1.0: Towards an expert system for many-valued logics
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 226-230
- https://doi.org/10.1007/3-540-61511-3_84
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-latticesPublished by Springer Nature ,1996
- Resolution-based Theorem Proving for Many-valued LogicsJournal of Symbolic Computation, 1995
- Many-valued logic and mixed integer programmingAnnals of Mathematics and Artificial Intelligence, 1994
- MULTLOG: A system for axiomatizing many-valued logicsPublished by Springer Nature ,1993
- Systematization of finite many-valued logics through the method of tableauxThe Journal of Symbolic Logic, 1987
- Sequents in many valued logic IFundamenta Mathematicae, 1967
- Methoden zur Axiomatisierung beliebiger Aussagen‐ und PrädikatenkalküleMathematical Logic Quarterly, 1955