Explore relationships

Metalogic

Metalogic is the metatheory of logic. Whereas logic studies how logical systems can be used to construct valid and soundarguments, metalogic studies the properties of logical systems.

Use + to expand a branch. Click a topic name to open its summary.