bn:00035928n
Noun Concept
Categories: Articles with short description, Mathematical logic, All articles needing references cleanup
EN
mathematical logic  symbolic logic  formal logic  Fixed-point logic  Formal logical systems
EN
Any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity WordNet 3.0
Definitions
Relations
Sources
EN
Any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity WordNet 3.0 & WordNet 2020
Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics. Wikipedia
A branch of mathematics that grew out of symbolic logic Wikipedia Disambiguation
A subfield of mathematics with close connections to computer science and philosophical logic. OmegaWiki
A subfield of logic and mathematics consisting of both the mathematical study of logic and the application of this study to other areas of mathematics, exemplified by questions on the expressive power of formal logics and the deductive power of formal proof systems. Wiktionary
A formal system of deductive logic in which aspects and relationships of natural language are represented by a system of symbols. Wiktionary