Košík

0546146 - FLÚ 2022 RIV AU eng J - Článek v odborném periodiku
Tedder, Andrew
On Consistency and Decidability in Some Paraconsistent Arithmetics.
Australasian Journal of Logic. Roč. 18, č. 5 (2021), s. 473-502. E-ISSN 1448-5052
Institucionální podpora: RVO:67985955
Klíčová slova: Consistency * Decidability * Paraconsistent logics * Paraconssistent Arithmetics
Obor OECD: Philosophy, History and Philosophy of science and technology
Způsob publikování: Open access
https://doi.org/10.26686/ajl.v18i5.6921
Trvalý link: http://hdl.handle.net/11104/0322697