Signed formulas: A liftable meta-logic for multiple-valued logics
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 275-284
- https://doi.org/10.1007/3-540-56804-2_26
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Employing path dissolution to shorten tableaux proofsPublished by Association for Computing Machinery (ACM) ,1989
- Note on theorem proving strategies for resolution counterparts of non-classical logicsPublished by Association for Computing Machinery (ACM) ,1989
- The semantics of non-monotonic entailment defined using partial interpretationsPublished by Springer Nature ,1989
- First-order modal tableauxJournal of Automated Reasoning, 1988
- Systematization of finite many-valued logics through the method of tableauxThe Journal of Symbolic Logic, 1987
- Inference with path resolution and semantic graphsJournal of the ACM, 1987
- First-Order LogicPublished by Springer Nature ,1968