The isomorphism theorem for linear fragments of continuous logic.

Seyed-Mohammad Bagheri

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

Keyphrases

intuitionistic logic
piecewise linear
logic programming
classical logic
modal logic
automated reasoning
neural network
transfer function
multi valued
piecewise constant
computational properties