Advertisement

Advertisement

proof theory

noun

  1. the branch of logic that studies the syntactic properties of formal theories, esp the syntactic characterization of deductive validity

Advertisement

Advertisement

Advertisement

Advertisement

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