Proofs of valid categorical syllogisms in one diagrammatic and two symbolic axiomatic systems.

Antonielly Garcia Rodrigues Eduardo Mario Dias

Published in: CoRR (2023)

Keyphrases

artificial intelligence
management system
distributed systems
data mining
machine learning
expert systems
association rules
search engine
intelligent systems
knowledge based systems
building blocks
complex systems
categorical data
symbolic reasoning
formal proofs