proof_methods_for_paraconsistent_logics
Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
| proof_methods_for_paraconsistent_logics [2012/06/06 18:17] – created adolfont | proof_methods_for_paraconsistent_logics [2020/11/19 11:42] (current) – external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 5: | Line 5: | ||
| * [[https:// | * [[https:// | ||
| for Paraconsistent Logics]] | for Paraconsistent Logics]] | ||
| + | * [[Comments on Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics]] | ||
| + | |||
proof_methods_for_paraconsistent_logics.1339006673.txt.gz · Last modified: 2020/11/19 11:42 (external edit)