Tableau Methods for Propositional Logic and Term Logic
The book aims to formalise tableau methods for the logics of propositions and names. The methods described are based on Set Theory. The tableau rule was reduced to an ordered n-tuple of sets of expressions where the first element is a set of premises, and the following elements are its supersets.
Saved in:
| Main Author: | |
|---|---|
| Format: | Online |
| Language: | English |
| Published: |
Peter Lang International Academic Publishers
2024
|
| Subjects: | |
| Online Access: | ONIX_20240410_9783631846537_10 |
| Tags: |
No Tags, Be the first to tag this record!
|
| _version_ | 1869514689229094912 |
|---|---|
| author | Jarmużek, Tomasz |
| author_browse | Jarmużek, Tomasz |
| author_facet | Jarmużek, Tomasz |
| author_sort | Jarmużek, Tomasz |
| collection | Directory of Open Access Books |
| description | The book aims to formalise tableau methods for the logics of propositions and names. The methods described are based on Set Theory. The tableau rule was reduced to an ordered n-tuple of sets of expressions where the first element is a set of premises, and the following elements are its supersets. |
| format | Online |
| id | doab-20.500.12854ir-136321 |
| institution | Directory of Open Access Books |
| language | eng |
| publishDate | 2024 |
| publishDateRange | 2024 |
| publishDateSort | 2024 |
| publisher | Peter Lang International Academic Publishers |
| publisherStr | Peter Lang International Academic Publishers |
| record_format | ojs |
| spelling | doab-20.500.12854ir-1363212025-07-18T09:46:54Z Tableau Methods for Propositional Logic and Term Logic Jarmużek, Tomasz Formalization Gałecki Hartman Iwona Jarmuzek Leśniewicz Logic logic of names logical Łukasz Methods philosophical logic proof theory Propositional propositional logic Sentences Tableau tableu methods Term Tomasz thema EDItEUR::Q Philosophy and Religion::QD Philosophy thema EDItEUR::Q Philosophy and Religion::QD Philosophy The book aims to formalise tableau methods for the logics of propositions and names. The methods described are based on Set Theory. The tableau rule was reduced to an ordered n-tuple of sets of expressions where the first element is a set of premises, and the following elements are its supersets. 2024-04-11T04:28:07Z 2024-04-11T04:28:07Z 2024-04-10T08:27:34Z 2021 book ONIX_20240410_9783631846537_10 OCN: 1261366678 https://library.oapen.org/handle/20.500.12657/89768 9783631846537 9783631846667 9783631846674 9783631833728 https://directory.doabooks.org/handle/20.500.12854/136321 eng Studies in Philosophy, History of Ideas and Modern Societies open access image/jpeg image/jpeg n/a n/a https://library.oapen.org/bitstream/20.500.12657/89768/1/9783631846537.pdf https://library.oapen.org/bitstream/20.500.12657/89768/1/9783631846537.pdf Peter Lang International Academic Publishers 10.3726/b18008 10.3726/b18008 44a712f0-ee17-4c08-a667-46effed595e7 9783631846537 9783631846667 9783631846674 9783631833728 228 Bern open access |
| spellingShingle | Formalization Gałecki Hartman Iwona Jarmuzek Leśniewicz Logic logic of names logical Łukasz Methods philosophical logic proof theory Propositional propositional logic Sentences Tableau tableu methods Term Tomasz thema EDItEUR::Q Philosophy and Religion::QD Philosophy thema EDItEUR::Q Philosophy and Religion::QD Philosophy Jarmużek, Tomasz Tableau Methods for Propositional Logic and Term Logic |
| title | Tableau Methods for Propositional Logic and Term Logic |
| title_full | Tableau Methods for Propositional Logic and Term Logic |
| title_fullStr | Tableau Methods for Propositional Logic and Term Logic |
| title_full_unstemmed | Tableau Methods for Propositional Logic and Term Logic |
| title_short | Tableau Methods for Propositional Logic and Term Logic |
| title_sort | tableau methods for propositional logic and term logic |
| topic | Formalization Gałecki Hartman Iwona Jarmuzek Leśniewicz Logic logic of names logical Łukasz Methods philosophical logic proof theory Propositional propositional logic Sentences Tableau tableu methods Term Tomasz thema EDItEUR::Q Philosophy and Religion::QD Philosophy thema EDItEUR::Q Philosophy and Religion::QD Philosophy |
| topic_facet | Formalization Gałecki Hartman Iwona Jarmuzek Leśniewicz Logic logic of names logical Łukasz Methods philosophical logic proof theory Propositional propositional logic Sentences Tableau tableu methods Term Tomasz thema EDItEUR::Q Philosophy and Religion::QD Philosophy thema EDItEUR::Q Philosophy and Religion::QD Philosophy |
| url | ONIX_20240410_9783631846537_10 |
| work_keys_str_mv | AT jarmuzektomasz tableaumethodsforpropositionallogicandtermlogic |