Classical subtheories and intuitionism

Pełny rekord metadanych

DC pole	Wartość	Język
dc.contributor.author	Szymanek, Krzysztof	-
dc.date.accessioned	2020-09-21T06:18:00Z	-
dc.date.available	2020-09-21T06:18:00Z	-
dc.date.issued	1989	-
dc.identifier.citation	Bulletin of the Section of Logic, Vol. 18, no. 3 (1989), s. 112-115	pl_PL
dc.identifier.issn	2449-836X	-
dc.identifier.issn	0138-0680	-
dc.identifier.uri	http://hdl.handle.net/20.500.12128/16011	-
dc.description.abstract	By S we shall denote the set of all formulas in the language {—, &, V, and by C the classical consequence over S. The set of all theories we denote as Th. Th0 is the set of all theories T such that T = C(a), for some a e S. By Th1, we denote the set Th\Th0. The set of all complete theories we denote as Cpl. For a given T e Th let LT = {Y C T : Y e Th}. It is obvious that for every T e Th the system < LT, C> is a lattice. It is evident that in this lattice X U Y = C(X U Y) and X n Y = X A Y, for any X, Y e LT (Fragment tekstu).	pl_PL
dc.language.iso	en	pl_PL
dc.rights	Uznanie autorstwa-Użycie niekomercyjne-Bez utworów zależnych 3.0 Polska	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/3.0/pl/	*
dc.subject	intuitionism	pl_PL
dc.subject	mathematical logic	pl_PL
dc.title	Classical subtheories and intuitionism	pl_PL
dc.type	info:eu-repo/semantics/article	pl_PL
Pojawia się w kolekcji:	Artykuły (W.Hum.)

Uznanie autorstwa - użycie niekomercyjne, bez utworów zależnych 3.0 Polska Creative Commons