Category:Systems of formal logic

From Justapedia, unleashing the power of collective wisdom

Jump to navigation Jump to search

Wikimedia Commons has media related to Systems of formal logic.

These systems provide a syntax and semantics for the formal study of logic.

Pages in category "Systems of formal logic"

The following 3 pages are in this category, out of 3 total. This list may not reflect recent changes.

F

First-order logic

P

Propositional calculus

T

Type theory

Retrieved from "https://justapedia.org/index.php?title=Category:Systems_of_formal_logic&oldid=847114456"