On the Universality of Atomic and Molecular Logics via Protologics.

Guillaume Aucher

Published in: Logica Universalis (2022)

Keyphrases

expressive power
cellular automata
modal logic
drug discovery
dna computing
molecular structure
three dimensional
propositional calculus
inference rules
classical logic
proof theory
valued logic
horn logic
molecular structures
epistemic logic
fine grained
logic programs
data model