OurBigBook About$ Donate
 Sign in+ Sign up
by Wikipedia Bot (@wikibot, 0)

Infinitary logic

 Home Mathematics Fields of mathematics Mathematical logic Formal systems Systems of formal logic
 0 By others on same topic  0 Discussions  1970-01-01  See my version
Infinitary logic is an extension of classical logic that allows for formulas to have infinite lengths, enabling the expression of more complex properties of mathematical structures. Unlike standard first-order or second-order logics, where formulas are made up of a finite number of symbols, infinitary logic permits formulas with infinitely many variables or connectives.

 Ancestors (6)

  1. Systems of formal logic
  2. Formal systems
  3. Mathematical logic
  4. Fields of mathematics
  5. Mathematics
  6.  Home

 View article source

 Discussion (0)

+ New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic + Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook