On Lindenbaum's extensions. (Part B.)

Pełny rekord metadanych

DC pole	Wartość	Język
dc.contributor.author	Biela, Andrzej	-
dc.date.accessioned	2020-09-18T06:06:54Z	-
dc.date.available	2020-09-18T06:06:54Z	-
dc.date.issued	1975	-
dc.identifier.citation	Bulletin of the Section of Logic, Vol. 4, no. 2 (1975), s. 65-71	pl_PL
dc.identifier.issn	2449-836X	-
dc.identifier.issn	0138-0680	-
dc.identifier.uri	http://hdl.handle.net/20.500.12128/15985	-
dc.description.abstract	An extended version of this abstract will appear in Reports on Mathematical Logic. Let C n, be the consequence operation based only on the modus ponens rule (r0) and substitution rule (r*).S1 = Sc, S2 = Scn,S3 = Scnka where e.g. Scnka is the set of all well-formed formulas built from propositional variables by means of implication, negation, conjunction and disjunction signs respectively. Tarski has proved in [8], (1934) some theorems concerning the power of the class of Lindenbaum's extensions (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	Lindenbaum's extensions	pl_PL
dc.subject	propositional calculus	pl_PL
dc.title	On Lindenbaum's extensions. (Part B.)	pl_PL
dc.type	info:eu-repo/semantics/article	pl_PL
Pojawia się w kolekcji:	Artykuły (WNŚiT)

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