Tableau Methods for Propositional Logic and Term Logic
dc.contributor.author | Jarmużek, Tomasz | |
dc.date.accessioned | 2024-04-10T08:27:34Z | |
dc.date.available | 2024-04-10T08:27:34Z | |
dc.date.issued | 2021 | |
dc.identifier | ONIX_20240410_9783631846537_10 | |
dc.identifier.uri | https://library.oapen.org/handle/20.500.12657/89768 | |
dc.description.abstract | 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. | |
dc.language | English | |
dc.relation.ispartofseries | Studies in Philosophy, History of Ideas and Modern Societies | |
dc.subject.classification | thema EDItEUR::Q Philosophy and Religion::QD Philosophy | |
dc.subject.other | Formalization | |
dc.subject.other | Gałecki | |
dc.subject.other | Hartman | |
dc.subject.other | Iwona | |
dc.subject.other | Jarmuzek | |
dc.subject.other | Leśniewicz | |
dc.subject.other | Logic | |
dc.subject.other | logic of names | |
dc.subject.other | logical | |
dc.subject.other | Łukasz | |
dc.subject.other | Methods | |
dc.subject.other | philosophical logic | |
dc.subject.other | proof theory | |
dc.subject.other | Propositional | |
dc.subject.other | propositional logic | |
dc.subject.other | Sentences | |
dc.subject.other | Tableau | |
dc.subject.other | tableu methods | |
dc.subject.other | Term | |
dc.subject.other | Tomasz | |
dc.title | Tableau Methods for Propositional Logic and Term Logic | |
dc.type | book | |
oapen.identifier.doi | 10.3726/b18008 | |
oapen.relation.isPublishedBy | e927e604-2954-4bf6-826b-d5ecb47c6555 | |
oapen.relation.isbn | 9783631846537 | |
oapen.relation.isbn | 9783631846667 | |
oapen.relation.isbn | 9783631846674 | |
oapen.relation.isbn | 9783631833728 | |
oapen.series.number | 20 | |
oapen.pages | 228 | |
oapen.place.publication | Bern |