Document Zbl 0708.01008

From semantic tableaux to Smullyan trees: A history of the development of the falsifiability tree method. (English) Zbl 0708.01008

Mod. Log. 1, No. 1, 36-69 (1990).

The author describes in detail the development of semantic trees from Gentzen and others though Smullyan up to modern treatments. The method has viability for a wide range of logical systems. An extensive bibliography is appended.

Reviewer: I.Grattan-Guinness

Cited in 8 Documents

MSC:

01A55	History of mathematics in the 19th century
03-03	History of mathematical logic and foundations

Keywords:

semantic trees

PDF BibTeX XML Cite

any	anywhere
an	internal document identifier
au	author, editor
ai	internal author identifier
ti	title
la	language
so	source
ab	review, abstract
py	publication year
rv	reviewer
cc	MSC code
ut	uncontrolled term
dt	document type (j: journal article; b: book; a: book article)

a & b	logic and
a \| b	logic or
!ab	logic not
abc*	right wildcard
"ab c"	phrase
(ab c)	parentheses

Examples

Fields

Operators

From semantic tableaux to Smullyan trees: A history of the development of the falsifiability tree method. (English) Zbl 0708.01008

MSC:

Keywords: