Show simple item record

Tableau Methods for Propositional Logic and Term Logic

dc.contributor.authorJarmużek, Tomasz
dc.date.accessioned2025-03-07T17:57:49Z
dc.date.available2025-03-07T17:57:49Z
dc.date.issued2021
dc.date.submitted2024-04-10T08:27:34Z
dc.identifierONIX_20240410_9783631846537_10
dc.identifierOCN: 1261366678
dc.identifierhttps://library.oapen.org/handle/20.500.12657/89768
dc.identifier.urihttps://doab-dev.siscern.org/handle/20.500.12854/160990
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.rightsopen access
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.isPublishedByf6ba26fb-2881-41c1-848a-f9628b869216
oapen.relation.isbn9783631846537
oapen.relation.isbn9783631846667
oapen.relation.isbn9783631846674
oapen.relation.isbn9783631833728
oapen.pages228
oapen.place.publicationBern
dc.seriesnumber20


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

open access
Except where otherwise noted, this item's license is described as open access