Maximality of linear continuous logic.

Mahya Malekghasemi Seyed-Mohammad Bagheri

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

Keyphrases

piecewise linear
logic programming
linear systems
case study
piecewise constant
data sets
multiscale
least squares
continuous variables
logical framework
classical logic
computational properties
defeasible logic
set theory
discrete data
asynchronous circuits