Syllogisms with Intermediate Quantifiers Solved in Marlo Logic Diagrams.

Marcos Bautista López Aznar

Published in: Diagrams (2020)

Keyphrases

logic programming
natural language
modal logic
multi valued
classical logic
information retrieval
digital circuits
automated reasoning
defeasible logic
logic synthesis
database
asynchronous circuits
predicate logic
nonmonotonic logics
information systems
artificial intelligence
neural network
data sets