catflap.org Online Dictionary Query

Query string:
Search type:
Database:

Database copyright information
Server information

6 definitions found

From WordNet (r) 2.0 : [ wn ]


  mathematical logic
       n : any logical system that abstracts the form of statements
           away from their content in order to establish abstract
           criteria of consistency and validity [syn: symbolic
           logic, formal logic]

From English Wiktionary: All languages (2023-07-27) : [ dictinfo.com:wikt-en-ALL-2023-07-27 ]


  mathematical logic
     n.
     (lb en logic) 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.

From English Wiktionary: English language only (2023-07-27) : [ dictinfo.com:wikt-en-en-2023-07-27 ]


  mathematical logic
     n.
     (lb en logic) 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.

From English Wiktionary: Western, Greek, and Slavonic languages only (2023-07-27) : [ dictinfo.com:wikt-en-Western_Greek_Slavonic-2023-07-27 ]


  mathematical logic
     n.
     (lb en logic) 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.

From English Wiktionary: Western languages only (2023-07-27) : [ dictinfo.com:wikt-en-Western-2023-07-27 ]


  mathematical logic
     n.
     (lb en logic) 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.

From English-Czech dicts.info/FreeDict Dictionary ver. 0.1.3 : [ freedict:eng-ces ]


  mathematical logic /mˌaθɪmˈatɪkəl lˈɒdʒɪk/
  matematická logika

Questions or comments about this site? Contact dictionary@catflap.org Access Stats