CondLean
From MaRDI portal
Software:21963
swMATH9986MaRDI QIDQ21963FDOQ21963
Author name not available (Why is that?)
Cited In (8)
- CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity
- Automated Reasoning with Analytic Tableaux and Related Methods
- From input/output logics to conditional logics via sequents -- with provers
- A sequent calculus and a theorem prover for standard conditional logics
- Title not available (Why is that?)
- VINTE: an implementation of internal calculi for Lewis' logics of counterfactual reasoning
- Automated Reasoning with Analytic Tableaux and Related Methods
- Theorem proving for conditional logics: CondLean and GOALDUCK
This page was built for software: CondLean
