Medvedev's logic and products of converse well orders.

Denis I. Saveliev Ilya Shapirovsky

Published in: AiML (2022)

Keyphrases

modal logic
classical logic
neural network
logical framework
customer orders
sound and complete axiomatization
data sets
multi agent systems
logic programming
set theory
product line
first order logic
temporal logic
multi valued
product design
production capacity