Jump to content

Category:Systems of formal logic

From Wikipedia, the free encyclopedia

This is the current revision of this page, as edited by Carchasm (talk | contribs) at 00:22, 3 June 2023 (new key for Category:Formal logic: "*" using HotCat). The present address (URL) is a permanent link to this version.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Wikimedia Commons has media related to Systems of formal logic.

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

Subcategories

This category has the following 4 subcategories, out of 4 total.

P

Paraconsistent logic‎ (15 P)
Predicate logic‎ (2 C, 36 P)
Propositional calculus‎ (8 C, 33 P)

S

Substructural logic‎ (1 C, 7 P)

Pages in category "Systems of formal logic"

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

Retrieved from "https://en.wikipedia.org/w/index.php?title=Category:Systems_of_formal_logic&oldid=1158266519"

Hidden category:

Commons category link from Wikidata