MULTLOG: A system for axiomatizing many-valued logics
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 345-347
- https://doi.org/10.1007/3-540-56944-8_66
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Resolution for many-valued logicsPublished by Springer Nature ,2005
- 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