9783631846537.pdf

9783631846537.pdf

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.

Λεπτομέρειες βιβλιογραφικής εγγραφής
Γλώσσα:English
Έκδοση: Peter Lang International Academic Publishers 2024
Διαθέσιμο Online:https://www.peterlang.com/downloadpdf/title/65869
id oapen-20.500.12657-89768
record_format dspace
spelling oapen-20.500.12657-897682024-04-11T02:25:15Z 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 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-10T08:27:34Z 2024-04-10T08:27:34Z 2021 book ONIX_20240410_9783631846537_10 9783631846537 9783631846667 9783631846674 9783631833728 https://library.oapen.org/handle/20.500.12657/89768 eng Studies in Philosophy, History of Ideas and Modern Societies application/pdf n/a 9783631846537.pdf https://www.peterlang.com/downloadpdf/title/65869 Peter Lang International Academic Publishers 10.3726/b18008 10.3726/b18008 e927e604-2954-4bf6-826b-d5ecb47c6555 9783631846537 9783631846667 9783631846674 9783631833728 20 228 Bern open access
institution OAPEN
collection DSpace
language English
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.
title 9783631846537.pdf
spellingShingle 9783631846537.pdf
title_short 9783631846537.pdf
title_full 9783631846537.pdf
title_fullStr 9783631846537.pdf
title_full_unstemmed 9783631846537.pdf
title_sort 9783631846537.pdf
publisher Peter Lang International Academic Publishers
publishDate 2024
url https://www.peterlang.com/downloadpdf/title/65869
_version_ 1799945220182245376

Παρόμοια τεκμήρια