Search Results for author:
Found 1 papers, 0 papers with code
Automated Reasoning in Non-classical Logics in the TPTP World
Non-classical logics are used in a wide spectrum of disciplines, including artificial intelligence, computer science, mathematics, and philosophy.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
