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

• Autorzy: Schumann Andrew
• 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.

Słowa kluczowe

EN

BELOUSOV-ZHABOTINSKY REACTION; CIRCULAR PROOFS; COMPUTING

• Wydawca: Sciendo
• Czasopismo: Studies in Logic, Grammar and Rhetoric
• Rocznik: 2009
• Numer: 17(30)
• Strony: 145-157
• Rodzaj publikacji: ARTICLE

Twórcy

autor

Schumann Andrew

• Andrew Schumann, Belarusian State University, Minsk, Belarus

Identyfikatory

CEJSH db identifier

11PLAAAA101520