Skip navigation

Zastosuj identyfikator do podlinkowania lub zacytowania tej pozycji: http://hdl.handle.net/20.500.12128/15987
Pełny rekord metadanych
DC poleWartośćJęzyk
dc.contributor.authorBiela, Andrzej-
dc.contributor.authorHallala, Piotr-
dc.date.accessioned2020-09-18T06:26:14Z-
dc.date.available2020-09-18T06:26:14Z-
dc.date.issued1976-
dc.identifier.citationBulletin of the Section of Logic, Vol. 5, no. 2 (1976), s. 57-61pl_PL
dc.identifier.issn2449-836X-
dc.identifier.issn0138-0680-
dc.identifier.urihttp://hdl.handle.net/20.500.12128/15987-
dc.description.abstractAn extended version of this abstract will appear in Reports on Mathematical Logic. 1. In Church's calculus we establish classes of equivalent formulas built from only one propositional variable p in order to obtain the theorem on existence exactly one Lindenbaum's extension for Church's system. Moreover, we construct a class of finitely axiomatizable systems between Church's and Grzegorczyk's systems and we consider the problem of structural completeness of Church's calculus reduced to formulas formed from the variable p (Fragment tekstu).pl_PL
dc.language.isoenpl_PL
dc.rightsUznanie autorstwa-Użycie niekomercyjne-Bez utworów zależnych 3.0 Polska*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/pl/*
dc.subjectChurch's calculuspl_PL
dc.subjectLindenbaum's extensionpl_PL
dc.titleStudies on Church's calculuspl_PL
dc.typeinfo:eu-repo/semantics/articlepl_PL
Pojawia się w kolekcji:Artykuły (WNŚiT)

Pliki tej pozycji:
Plik Opis RozmiarFormat 
Biela_Studies_on_Churchs_calculus.pdf214,3 kBAdobe PDFPrzejrzyj / Otwórz
Pokaż prosty rekord


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