leanTAP

swMATH9985MaRDI QIDQ21962

No author found.

Described by source

• lean\(T^ AP\): Lean tableau-based deduction

Related Items (41)

HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description) ⋮ MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description) ⋮ Prolog Technology Reinforcement Learning Prover ⋮ The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics ⋮ Unnamed Item ⋮ CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity ⋮ Logics in Artificial Intelligence ⋮ Tableau reasoning for description logics and its extension to probabilities ⋮ The disconnection tableau calculus ⋮ Unnamed Item ⋮ VINTE: an implementation of internal calculi for Lewis' logics of counterfactual reasoning ⋮ IeanCOP: lean connection-based theorem proving ⋮ Free variable tableaux for propositional modal logics ⋮ ileanTAP: An intuitionistic theorem prover ⋮ Unnamed Item ⋮ Implementing a relational theorem prover for modal logic ⋮ Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ lean TAP revisited ⋮ KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning ⋮ Automated Reasoning with Analytic Tableaux and Related Methods ⋮ Free-variable tableaux for propositional modal logics ⋮ Machine learning guidance for connection tableaux ⋮ Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach ⋮ Unnamed Item ⋮ LeanT A P: Lean tableau-based theorem proving ⋮ A Multi-engine Theorem Prover for a Description Logic of Typicality ⋮ Automated Reasoning with Analytic Tableaux and Related Methods ⋮ nanoCoP: A Non-clausal Connection Prover ⋮ Theorem proving for conditional logics: CondLean and GOALDUCK ⋮ The Tableau Workbench ⋮ Encoding modal logics in logical frameworks ⋮ α lean TA P: A Declarative Theorem Prover for First-Order Classical Logic ⋮ Logic programming as a basis for lean automated deduction ⋮ Asynchronous knowledge with hidden actions in the situation calculus ⋮ Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\)

This page was built for software: leanTAP