List of formal systems

This page lists the items of the Wikipedia article List of formal systems in their order, and the nodes of Math 2.0 that have them. The text of the article is not on this site. The items come from revision 1364662519, with the assessment List/Low.

Outcome	Items
deferred	12

The gap signals of the article are S1,S3,S6,S8,S9.

Item	Kind	Name	Outcome	Reason
subject	topic	List of formal systems	deferred until 2027-05-01	the item has the flag informal (WP9.2)
#369Q	definition	Predicate calculus	deferred until 2027-05-01	the item has its own article, page 10983
#3OWO	definition	Vector calculus	deferred until 2027-05-01	the item has its own article, page 32640
#4ZGW	definition	Modal μ-calculus	deferred until 2027-05-01	the item has its own article, page 6158953
#GM2H	definition	Functional calculus	deferred until 2027-05-01	the item has its own article, page 965348
#ISYV	definition	Process calculus	deferred until 2027-05-01	the item has its own article, page 853240
#MCZF	definition	Matrix calculus	deferred until 2027-05-01	the item has its own article, page 1765852
#MWAI	unknown	Refinement calculus	deferred until 2027-05-01	the kind of the item is unknown
#OPBL	definition	Lambda calculus	deferred until 2027-05-01	the item has its own article, page 18203
#TQMU	unknown	Relational calculus	deferred until 2027-05-01	the kind of the item is unknown
#X9Y2	definition	Umbral calculus	deferred until 2027-05-01	the item has its own article, page 214124
#ZL3M	topic	Propositional calculus	deferred until 2027-05-01	a list or a glossary is not a node (WP9.1)

Refer to Wikipedia articles and their nodes for the other articles.