Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Refine search results

Journals help

  1. 1 Studies in Logic, Grammar and Rhetoric

Authors help

  1. 1 Schumann A.

Years help

  1. 1 2009

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  CIRCULAR PROOFS
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1

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

100%
Schumann A.
Studies in Logic, Grammar and Rhetoric
|
2009
|
issue 17(30)
145-157
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.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.