Show simple item record

Tableau Methods for Propositional Logic and Term Logic

dc.contributor.authorJarmużek, Tomasz
dc.date.accessioned2024-04-10T08:27:34Z
dc.date.available2024-04-10T08:27:34Z
dc.date.issued2021
dc.identifierONIX_20240410_9783631846537_10
dc.identifier.urihttps://library.oapen.org/handle/20.500.12657/89768
dc.description.abstractThe 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.languageEnglish
dc.relation.ispartofseriesStudies in Philosophy, History of Ideas and Modern Societies
dc.subject.classificationthema EDItEUR::Q Philosophy and Religion::QD Philosophy
dc.subject.otherFormalization
dc.subject.otherGałecki
dc.subject.otherHartman
dc.subject.otherIwona
dc.subject.otherJarmuzek
dc.subject.otherLeśniewicz
dc.subject.otherLogic
dc.subject.otherlogic of names
dc.subject.otherlogical
dc.subject.otherŁukasz
dc.subject.otherMethods
dc.subject.otherphilosophical logic
dc.subject.otherproof theory
dc.subject.otherPropositional
dc.subject.otherpropositional logic
dc.subject.otherSentences
dc.subject.otherTableau
dc.subject.othertableu methods
dc.subject.otherTerm
dc.subject.otherTomasz
dc.titleTableau Methods for Propositional Logic and Term Logic
dc.typebook
oapen.identifier.doi10.3726/b18008
oapen.relation.isPublishedBye927e604-2954-4bf6-826b-d5ecb47c6555
oapen.relation.isbn9783631846537
oapen.relation.isbn9783631846667
oapen.relation.isbn9783631846674
oapen.relation.isbn9783631833728
oapen.series.number20
oapen.pages228
oapen.place.publicationBern


Files in this item

Thumbnail
Name:
9783631846537.pdf
Size:
2.400Mb
Format:
PDF
ISBN:
9783631846537
License:
https://creativecommons.org/li ...
Webshop link:
https://www.peterlang.com/down ...
View/Open

This item appears in the following Collection(s)

Show simple item record