Jump to content

Category:Formal systems

From Wikipedia, the free encyclopedia

This is the current revision of this page, as edited by Jc37 (talk | contribs) at 22:41, 30 July 2023 (add cat). 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 Formal systems.

Subcategories

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

L

Systems of formal logic (4 C, 32 P)
Logical calculi (4 C, 34 P)

M

Mathematical axioms (2 C, 22 P)

P

Systems of probability distributions (9 P)

R

Rules of inference (43 P)

S

Systems of set theory (27 P)
Substitution (logic) (3 P)

Pages in category "Formal systems"

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

A

F

P

R

Rule of inference

T

Term graph

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

Hidden category:

Commons category link from Wikidata