ALBERT — All Library Books, journals and Electronic Records Telegrafenberg

Hits per page

hit 1 - 1 | 1 hit

Select All Export

Unknown

Tableau Methods for Propositional Logic and Term Logic (2024)

Jarmużek, Tomasz

Peter Lang International Academic Publishers

add to mindlist on the mindlist

Details

Publication Date: 2024-04-11

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.

Keywords: 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

Language: English

Format: image/jpeg

	Location	Call Number	Expected	Availability

Others were also interested in ...

E-BOOK

S·F·X

PDF

text_overview_doab

hit 1 - 1 | 1 hit