Rasiowa-Sikorski deduction system in computer science applications

• Autorzy: Konikowska B.

Warianty tytułu

PL

Systemy edukacyjne Rasiowa-Sikorski w zastosowaniach do logik informatycznych

• Języki publikacji: EN

Abstrakty

EN

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.

PL

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.

• Wydawca: Instytut Podstaw Informatyki PAN
• Czasopismo: Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
• Rocznik: 2000
• Tom: nr 916
• Strony: 1--30

Twórcy

autor

Konikowska B.

• Instytut Podstaw Informatyki PAN ul. Ordona 21 01-237 Warszawa,