lean TAP revisited

DOI10.1093/LOGCOM/8.1.33MaRDI QIDQ4399512zbMATH OpenOpenAlexFDO

Authors Melvin Fitting

Publication date 25 March 1999

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/8.1.33

zbMATH Keywords

automatic theorem provingcompletenesscorrectnessleanTAPmodal logicsequent calculus

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Modal logic (including the logic of norms) (03B45) Logic programming (68N17)

Recommendations

• \(\mathsf{ileanTAP}\): an intuitionistic theorem prover
• CondLean: a theorem prover for conditional logics
• MleanCoP: a connection prover for first-order modal logic
• α lean TA P: A Declarative Theorem Prover for First-Order Classical Logic
• First-order modal tableaux

Cited in

(8)

• Asynchronous knowledge with hidden actions in the situation calculus
• CSL-\textsf{lean}: a theorem-prover for the logic of comparative concept similarity
• Theorem proving for conditional logics: CondLean and GOALDUCK
• scientific article; zbMATH DE number 1341478 (Why is no real title available?)
• \(\mathsf{ileanTAP}\): an intuitionistic theorem prover
• Leaping shampoo
• α lean TA P: A Declarative Theorem Prover for First-Order Classical Logic
• Sequent calculi and an efficient theorem prover for conditional logics with selection function semantics

Describes a project that uses

Uses Software

• leanTAP

This page was built for publication: lean TAP revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4399512)