http://hdl.handle.net/20.500.12128/15987
Tytuł: | Studies on Church's calculus |
Autor: | Biela, Andrzej Hallala, Piotr |
Słowa kluczowe: | Church's calculus; Lindenbaum's extension |
Data wydania: | 1976 |
Źródło: | Bulletin of the Section of Logic, Vol. 5, no. 2 (1976), s. 57-61 |
Abstrakt: | An 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). |
URI: | http://hdl.handle.net/20.500.12128/15987 |
ISSN: | 2449-836X 0138-0680 |
Pojawia się w kolekcji: | Artykuły (WNŚiT) |
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
Biela_Studies_on_Churchs_calculus.pdf | 214,3 kB | Adobe PDF | Przejrzyj / Otwórz |
Uznanie autorstwa - użycie niekomercyjne, bez utworów zależnych 3.0 Polska Creative Commons