Automated theorem-proving in non-classical logics

Authors:
Paul B. Thistlewaite;Michael A. McRobbie;Robert K. Meyer
Affiliations:
Australian National Univ., Canberra, Australia;Australian National Univ., Canberra, Australia;Australian National Univ., Canberra, Australia
Venue:
Automated theorem-proving in non-classical logics
Year:
1988

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
A Decidable CLDS for Some Propositional Resource Logics

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Finite Algebraic Models for Residuated Logic

ISMVL '95 Proceedings of the 25th International Symposium on Multiple-Valued Logic
Cooperation between direct method and translation method in non classical logics: some results in propositional S5

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
SCOTT: a model-guided theorem prover

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
The philosophy of automated theorem proving

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2

Hi-index	0.00