Compositional truth with propositional tautologies and quantifier-free correctness.
| Autor: | Wcisło, Bartosz1 (AUTHOR) bartosz.wcislo@ug.edu.pl |
|---|---|
| Zdroj: | Archive for Mathematical Logic. Feb2024, Vol. 63 Issue 1/2, p239-257. 19p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|