Zastosuj identyfikator do podlinkowania lub zacytowania tej pozycji:
http://hdl.handle.net/20.500.12128/15985| Tytuł: | On Lindenbaum's extensions. (Part B.) |
| Autor: | Biela, Andrzej |
| Słowa kluczowe: | Lindenbaum's extensions; propositional calculus |
| Data wydania: | 1975 |
| Źródło: | Bulletin of the Section of Logic, Vol. 4, no. 2 (1975), s. 65-71 |
| Abstrakt: | 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). |
| URI: | http://hdl.handle.net/20.500.12128/15985 |
| ISSN: | 2449-836X 0138-0680 |
| Pojawia się w kolekcji: | Artykuły (WNŚiT) |
Pliki tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| Biela_On_Lindenbaums_extensions_Part_B.pdf | 233,52 kB | Adobe PDF | Przejrzyj / Otwórz |
Uznanie autorstwa - użycie niekomercyjne, bez utworów zależnych 3.0 Polska Creative Commons
