Resolution in the domain of strongly finite logics

Authors:
Z. Stachniak;P. O'Hearn
Affiliations:
-;-
Venue:
Fundamenta Informaticae
Year:
1990

Citing 0
Cited 3

Note on theorem proving strategies for resolution counterparts of non-classical logics

ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
Resolution proof systems with weak transformation rules

ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Automated deduction for many-valued logics

Handbook of automated reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract