PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2009 | 17(30) | 145-157
Tytuł artykułu

CIRCULAR PROOFS IN PROOF-THEORETIC SIMULATION OF BELOUSOV-ZHABOTINSKY REACTION

Autorzy
Treść / Zawartość
Wybrane pełne teksty z tego czasopisma: http://logika.uwb.edu.pl/studies/
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
In the paper I consider abstract machine of reaction-diffusion computing. This machine is constructed by using process algebra. Further, I propose proof-theoretic interpretation of process calculus within the framework of Belousov-Zhabotinsky reaction. I show that some proofs simulating the behaviour of Belousov-Zhabotinsky reaction are circular. This means that the derivation tree simulating the behaviour tree of Belousov-Zhabotinsky reaction has cycles, i.e. some derivable formulas occur among top premisses.
Rocznik
Numer
Strony
145-157
Opis fizyczny
Rodzaj publikacji
ARTICLE
Twórcy
  • Andrew Schumann, Belarusian State University, Minsk, Belarus
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
CEJSH db identifier
11PLAAAA101520
Identyfikator YADDA
bwmeta1.element.158213df-4d87-308e-9dff-a5904ae49fd0
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.