Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/3721
Tytuł: | Algebraic Approach to Algorithmic Logic |
Autorzy: | Bancerek, Grzegorz |
Słowa kluczowe: | propsitional calcus quantifier calcus algorithmic logic |
Data wydania: | 2014 |
Data dodania: | 9-gru-2015 |
Wydawca: | De Gruyter Open |
Źródło: | Formalized Mathematics, Volume 22, Issue 3, 2014, Pages 225-255 |
Abstrakt: | We introduce algorithmic logic - an algebraic approach according to [25]. It is done in three stages: propositional calculus, quantifier calculus with equality, and finally proper algorithmic logic. For each stage appropriate signature and theory are defined. Propositional calculus and quantifier calculus with equality are explored according to [24]. A language is introduced with language signature including free variables, substitution, and equality. Algorithmic logic requires a bialgebra structure which is an extension of language signature and program algebra. While-if algebra of generator set and algebraic signature is bialgebra with appropriate properties and is used as basic type of algebraic logic. |
Afiliacja: | Association of Mizar Users Białystok, Poland |
URI: | http://hdl.handle.net/11320/3721 |
DOI: | 10.2478/forma-2014-0025 |
ISSN: | 1426-2630 1898-9934 |
Typ Dokumentu: | Article |
Występuje w kolekcji(ach): | Formalized Mathematics, 2014, Volume 22, Issue 3 |
Pliki w tej pozycji:
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
forma-2014-0025.pdf | 359,88 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL