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)
|