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

• Authors: Schumann Andrew
• Languages of publication: EN

Abstracts

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.

Keywords

EN

BELOUSOV-ZHABOTINSKY REACTION; CIRCULAR PROOFS; COMPUTING

Discipline

• LIBRARY_&_INFORMATION_SCIENCE: LIBRARY & INFORMATION SCIENCE

• Publisher: Sciendo
• Journal: Studies in Logic, Grammar and Rhetoric
• Year: 2009
• Issue: 17(30)
• Pages: 145-157
• Document type: ARTICLE

Contributors

author

Schumann Andrew

• Andrew Schumann, Belarusian State University, Minsk, Belarus

Identifiers

CEJSH db identifier

11PLAAAA101520