lean TAP revisited

DOI10.1093/logcom/8.1.33zbMath0909.03013OpenAlexW2090840367MaRDI QIDQ4399512

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

modal logiccorrectnesscompletenesssequent calculusautomatic theorem provingleanTAP

Mathematics Subject Classification ID

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

Related Items (3)

CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity ⋮ Theorem proving for conditional logics: CondLean and GOALDUCK ⋮ Asynchronous knowledge with hidden actions in the situation calculus

Uses Software

• leanTAP

This page was built for publication: lean TAP revisited