Connexive Logic, Connexivity, and Connexivism: Remarks on Terminology.

Heinrich Wansing Hitoshi Omori

Published in: Stud Logica (2024)

Keyphrases

domain specific
logic programming
modal logic
multi valued
database
databases
knowledge representation
automated reasoning
terminology extraction
machine learning
knowledge base
website
computational properties
dynamic logic
logic synthesis