Formal logic of cellular automata

DOI10.25088/COMPLEXSYSTEMS.30.2.187MaRDI QIDQ4957465zbMATH OpenOpenAlexFDO

Authors Sukanta Das, Mihir K. Chakraborty

Publication date 8 September 2021

Published in Complex Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.25088/complexsystems.30.2.187

zbMATH Keywords

cellular automataderivationevolutionformal logicspatial ruletemporal rules

Mathematics Subject Classification ID

Logic in computer science (03B70) Cellular automata (computational aspects) (68Q80)

Recommendations

• Propositional logic and cellular automata on monoids
• Logic programming for cellular automata
• scientific article; zbMATH DE number 4070371
• A study of fuzzy and many-valued logics in cellular automata
• scientific article; zbMATH DE number 4215382

Cited in

(6)

• A continuum of discrete systems
• Distributive-law semantics for cellular automata and agent-based models
• scientific article; zbMATH DE number 4070371 (Why is no real title available?)
• Logic programming for cellular automata
• Propositional logic and cellular automata on monoids
• Heuristic rules-based logic cell formation algorithm

This page was built for publication: Formal logic of cellular automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4957465)