À propos de cet article
Publié en ligne: 21 déc. 2024
Pages: 299 - 320
DOI: https://doi.org/10.2478/slgr-2024-0017
Mots clés
© 2024 Dariusz Surowik, published by Sciendo
This work is licensed under the Creative Commons Attribution 4.0 International License.
In this article, we will consider the application of intuitionistic tense logics to construct logical systems in which the thesis of logical determinism cannot be expressed.