Powiadomienia systemowe
- Sesja wygasła!
- Sesja wygasła!
Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Systemy edukacyjne Rasiowa-Sikorski w zastosowaniach do logik informatycznych
Języki publikacji
Abstrakty
The aim of the paper is to advertise a methodology of developing deduction systems for various logic based on the analysis of their semantics. This is achieved by "mirroring" the semantics of all the logical constructs (connectives, quantifiers, modalities, …) through invertible rules operating on sequences of formulae of the logic. The methodology is based on the use of a simple and universal deduction formalism developed by the Polish logicians H. Rasiowa and R. Sikorski. The paper presents a general outline of this methodology, and shows examples of its applications to various brands of computer science logics coming from the author's works, including many-valued logics, nondeterminism, similarity, indiscerniblity and complementarity, many-sorted FOL, and a new three-valeud temporal logic for concurrency.
Celem pracy jest rozpropagowanie metodologii opracowywania systemów dedukcyjnych dla różnych logik na bazie ich semantyki. Osiąga się to przez odzwierciedlanie semantyki wszystkich konstruktorów logicznych (spójników, kwantyfikatorów, modalności, ...) za pomocą odwracalnych reguł działających na ciągach formuł. Metodologia ta oparta jest na zastosowaniu prostego i uniwersalnego mechanizmu dedukcyjnego opracowanego przez polskich logików: H. Rasiową i R. Sikorskiego. W pracy przedstawia się ogólny zarys tej metodologii i ukazuje przykłady jej zastosowania do wielu różnych rodzajów logik informatycznych pochodzące z prac autorki, obejmujące logiki wielowartościowe, niedeterminizm, podobieństwo, nieodróżnialność i komplementarność, wielorodzajową logikę I rzędu oraz nową trójwartościową logikę dla współbieżności.
Słowa kluczowe
Wydawca
Rocznik
Tom
Strony
1--30
Opis fizyczny
Twórcy
autor
- Instytut Podstaw Informatyki PAN ul. Ordona 21 01-237 Warszawa, beatak@ipipan.waw.pl
Bibliografia
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BUJ1-0009-0026