Logic List Mailing Archive

CfP special issue on non-classical logics in JUC, Deadline: 15 Mar 2018

Invitation to Special Issue on Non-Classical Logics in Unconventional
Computing

To be published in the International Journal of Unconventional Computing
(http://www.oldcitypublishing.com/journals/ijuc-home/)
ISI Impact Factor: .911
Edited by Andrew Schumann, Andrew Adamatzky and Hector Zenil


ABOUT:

Chemical, physical and living systems follow each their own laws and are
indifferent to what we think about them and to how we understand their
spatio-temporal dynamics. Despite the indifference of their natural
substrates we can interpret them in a purposeful manner in terms of logic
and computation and utilise these substrates? dynamics to prototype future
and emergent logical and computing devices. This Special Issue aims to
uncover logical systems, most suitable, at least from the anthropocentric
point of view, for the description of the dynamics of natural processes in
the framework of formal reasoning and digital computation.
One of the first systems of many-valued logic (1920) was proposed by Jan
?ukasiewicz on the basis of studying Aristotle's De Interpretatione (ch.
IX) to explain logical connections among recent and future propositions.
Later, many attempts to find out logical connections among natural
phenomena were made within significant branches of non-classical logic:
many-valued logic, modal logic, temporal logic, and dynamic logic. Now, the
development of behavioural logic seems very promising. There is a wide
spectrum of behavioural logics: Hoare logic, algorithmic logic, process
logic, and dynamic logic, and several families assuming concurrent
behaviour: process calculi, spatial logic, and concurrent games.

In unconventional computing we assume that behaviour of any natural system
can be interpreted in terms of computation. There are several branches of
unconventional computing: reaction-diffusion computing, slime mould
computing, swarm computing, social-insect computing, bio-molecular
computing, DNA computing, etc.
The aim of this special issue is to bring together physicists, molecular
biologists, engineers and chemists interested in unconventional computing
with logicians and computer scientists specialising in non-classical logics
to evaluate possibilities of general logical theories for unconventional
computing ? how far can we model natural phenomena by pure logical tools.

TOPICS

Potential topics of papers containing theoretical results in recent
non-classical logics suitable for unconventional computing include, but are
not limited to the following subjects:

? Dynamic logic
? Quantum logic
? Behavioural logic
? Tree logic
? Spatial logic
? Modal coalgebraic logic
? Coinductive logic
? Concurrent games
? Infinite games
? Software verification


Potential topics of papers containing practical results in unconventional
computing on the basis of some logical tools include, but are not limited
to the following subjects:

? Swarm computing
? Chemical computing
? Social insects computing
? Chaotic computing
? DNA computing
? Computational biology
? Slime mould computing
? Bio-molecular computing
? Computational models of cognition
? Logical methods of behavioural economics
? Algorithmic cognition
? Information-theoretic guided computation
? Algorithmic dynamics


DATES

- Submit your expression of interest by March 15th, 2018 by email to:
hector.zenil@algorithmicnaturelab.org
- Final submission DEADLINE: June 15th, 2018. You will receive submission
instructions after expression of interest (c.f. item above)

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam