Intuitionistic deductive tableaux
| Autor: | Coggiola, André |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2022 |
| Předmět: | |
| DOI: | 10.5281/zenodo.7225371 |
| Popis: | We present a deductive method for propositional intuitionistic logic based on tableaux. We prove its soundness and completeness based on given semantical definitions. The classical case is considered as slight variations of the intuitionistic case. {"references":["Batchelor, Roderick (2022). Directional Deduction. https://arxiv.org/abs/2208.03925.","Fine, Kit (2014). Truth-Maker Semantics for Intuitionistic Logic. Journal of Philosophical Logic 43 (2-3):549-577.","Jeffrey, Richard (1981). Formal logic: Its scope and limits. New York: McGraw Hill.","Kneale, W. C.; Kneale, M. (1962). The Development of Logic. Oxford University Press.","Smullyan, Raymond M. (1968). First-Order Logic. Dover (repr. 1995)."]} |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|