go to ORKG: http://orkg.org/orkg/predicate/P106001

Logic type

The logic type that is considered by the Symbolic AI model (e.g., Informal logic, Formal logic, Symbolic logic, Mathematical logic)