Two-sided Sequent Calculi for FDE-like Four-valued Logics.
| Autor: | Kooi, Barteld1 (AUTHOR) b.p.kooi@rug.nl, Tamminga, Allard2 (AUTHOR) |
|---|---|
| Zdroj: | Journal of Philosophical Logic. Apr2023, Vol. 52 Issue 2, p495-518. 24p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|