Results 81 to 90 of about 122,807 (96)
Some of the next articles are maybe not open access.
Polyadic algebras over nonclassical logics
Banach Center Publications, 1993Antonino Salibra, Don Pigozzi
exaly
Taming Paraconsistent (and Other) Logics: An Algorithmic Approach
ACM Transactions on Computational Logic, 2015Agata Ciabattoni +2 more
exaly
Methods for Automated Theorem Proving in Nonclassical Logics
IEEE Transactions on Computers, 1976exaly