7 citations · 8 across the 2 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2011★ 7 cited
Logical Modelling of Physarum Polycephalum
Andrew Schumann, Andrew Adamatzky
We propose a novel model of unconventional computing where a structural part of computation is presented by dynamics of plasmodium of Physarum polycephalum, a large single cell. We…
cs.LO2011
Modal Calculus of Illocutionary Logic
Andrew Schumann
The aim of illocutionary logic is to explain how context can affect the meaning of certain special kinds of performative utterances. Recall that performative utterances are underst…
cs.LO2010★ 1 cited
Towards Theory of Massive-Parallel Proofs. Cellular Automata Approach
Andrew Schumann
In the paper I sketch a theory of massively parallel proofs using cellular automata presentation of deduction. In this presentation inference rules play the role of cellular-automa…