http://hdl.handle.net/20.500.12128/16004
Tytuł: | The program-substitution in algorithmic logic and algorithmic logic with non-deterministic programs |
Autor: | Biela, Andrzej |
Słowa kluczowe: | algorithmic logic; non-deterministic programs; theories of programming |
Data wydania: | 1984 |
Źródło: | Bulletin of the Section of Logic, Vol. 13, no. 2 (1984), s. 69-72 |
Abstrakt: | This note presents a point of view upon the notions of programsubstitution which are the tools for proving properties of programs of algorithmic logics [5], [3] being sufficiently strong and universal to comprise almost all previously introduced theories of programming, and the so-called extended algorithmic logic [1], [2] and algorithmic logic with non- deterministic programs [4]. It appears that the mentioned substitution rule allows us to examine more deeply algorithmic properties of terms, formulas and programs. Besides the problem of Post-completeness and structural completeness of algorithmic logics strengthened additionally by the rule of substitution is raised (Fragment tekstu). |
URI: | http://hdl.handle.net/20.500.12128/16004 |
ISSN: | 2449-836X 0138-0680 |
Pojawia się w kolekcji: | Artykuły (WNŚiT) |
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
Biela_The_program_substitution.pdf | 219,07 kB | Adobe PDF | Przejrzyj / Otwórz |
Uznanie autorstwa - użycie niekomercyjne, bez utworów zależnych 3.0 Polska Creative Commons