Login / Signup
A note on undecidability of propositional non-associative linear logics.
Hiromi Tanaka
Published in:
CoRR (2019)
Keyphrases
</>
description logics
default logic
modal logic
propositional logic
expressive power
first order logic
linear model
linear systems
multi valued
autoepistemic logic
search algorithm
associative memory
classical logic