Login / Signup
Non-Commutative Logic I: The Multiplicative Fragment.
V. Michele Abrusci
Paul Ruet
Published in:
Ann. Pure Appl. Log. (1999)
Keyphrases
</>
automata theoretic
classical logic
predicate logic
logic programming
automated reasoning
information systems
modal logic
asynchronous circuits
multi valued
special case
real world
real time
temporal logic
multiscale
nonmonotonic logics
digital circuits
social networks
deontic logic
information retrieval