logic

GPTKB entity
AI-created image of logic
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