http://hdl.handle.net/20.500.12128/15991
Tytuł: | A new proof of structural completeness Łukasiewicz's logics |
Autor: | Wojtylak, Piotr |
Słowa kluczowe: | Łukasiewicz's logics; mathematical logic |
Data wydania: | 1976 |
Źródło: | Bulletin of the Section of Logic, Vol. 5, no. 4 (1976), s. 145-150 |
Abstrakt: | The problem of structural completeness of the finite-valued Lukasiewicz's sentential calculi was investigated and solved in [4], [7], [6]. The present paper contains a new proof of all these results. I. Let (S; F1,...,Fn) be a propositional language. A matrix M = (|M |, |M |*; f1,...,fn) of this language is embeddable in a matrix N = (|N|, |N|*; gi,..., gn) (M C N) iff there exists a monomorphism h : M M N. The symbol N xM stands for the product of matrices and the structural consequence generated by M (cf. [1]) is denoted by M (Fragment tekstu). |
URI: | http://hdl.handle.net/20.500.12128/15991 |
ISSN: | 2449-836X 0138-0680 |
Pojawia się w kolekcji: | Artykuły (WNŚiT) |
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
Wojtylak_A_new_proof_of_structural.pdf | 276,18 kB | Adobe PDF | Przejrzyj / Otwórz |
Uznanie autorstwa - użycie niekomercyjne, bez utworów zależnych 3.0 Polska Creative Commons