http://hdl.handle.net/20.500.12128/15987
Title: | Studies on Church's calculus |
Authors: | Biela, Andrzej Hallala, Piotr |
Keywords: | Church's calculus; Lindenbaum's extension |
Issue Date: | 1976 |
Citation: | Bulletin of the Section of Logic, Vol. 5, no. 2 (1976), s. 57-61 |
Abstract: | 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 |
Appears in Collections: | Artykuły (WNŚiT) |
File | Description | Size | Format | |
---|---|---|---|---|
Biela_Studies_on_Churchs_calculus.pdf | 214,3 kB | Adobe PDF | View/Open |
Uznanie autorstwa - użycie niekomercyjne, bez utworów zależnych 3.0 Polska Creative Commons License