Embedding classical in minimal implicational logic.

Hajime Ishihara Helmut Schwichtenberg

Published in: Math. Log. Q. (2016)

Keyphrases

multi valued
finite model theory
horn logic
modal logic
probability theory
set theory
graph embedding
deontic logic
asynchronous circuits
vector space
belief change
multidimensional scaling
logical framework
proof theory