AI-created image
Statements (34)
| Predicate | Object |
|---|---|
| gptkbp:alternativeName |
logic_family
Logic Mathematical_Logic Mathematical_logic Modal_Logic Non-monotonic_logic Philosophical_Logic Philosophy_of_mathematics Reasoning Temporal_logic constructive_mathematics formal_logic iterative_method logic_system logical_form logician mathematical_logic mathematical_method mathematical_model mathematical_theory modal_logic non-classical_logic numerical_method philosophical_logic philosophy_of_mathematics propositional_logic syllogism temporal_logic theoretical_framework theoretical_model theory type type_theory |
| https://www.w3.org/2000/01/rdf-schema#label |
logic
|