Login / Signup
Axiomatizing a Minimal Discussive Logic.
Oleg Grigoriev
Marek Nasieniewski
Krystyna Mruczek-Nasieniewska
Yaroslav I. Petrukhin
Vasily Shangin
Published in:
Stud Logica (2023)
Keyphrases
</>
logic programming
automated reasoning
multi valued
data sets
logical framework
neural network
classical logic
logic synthesis
sound and complete axiomatization
real world
information retrieval
search engine
modal logic
deontic logic
linear temporal logic