CondLean
From MaRDI portal
Software:21963
No author found.
Related Items (max. 100)
A sequent calculus and a theorem prover for standard conditional logics ⋮ From input/output logics to conditional logics via sequents -- with provers ⋮ Unnamed Item ⋮ CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity ⋮ VINTE: an implementation of internal calculi for Lewis' logics of counterfactual reasoning ⋮ Automated Reasoning with Analytic Tableaux and Related Methods ⋮ Automated Reasoning with Analytic Tableaux and Related Methods ⋮ Theorem proving for conditional logics: CondLean and GOALDUCK
This page was built for software: CondLean
