metalogic Definition

Definition for metalogic

Definition

The study of the structure and syntax of formal languages and deductive systems, and the nature of formal proofs and inference.

Browse

  • aa
  • bb
  • cc
  • dd
  • ee
  • ff
  • gg
  • hh
  • ii
  • jj
  • kk
  • ll
  • mm
  • nn
  • oo
  • pp
  • qq
  • rr
  • ss
  • tt
  • uu
  • vv
  • ww
  • xx
  • yy
  • zz
    •