「sequent」の共起表現一覧(1語右で並び替え)

sequent

1語右で並び替え

該当件数:15件

  • hat are based upon generalising the notion of sequent along the lines of Joyal's combinatorial spec
  • Sequent calculus
  • It works with variants of the sequent calculus and natural deduction.
  • explicitly of some sequent calculus or implicitly by "tagging" inference
  • l proof theory that breaks with the classical sequent calculus by generalising the notion of struct
  • In the sequent calculus, the rule of cut is admissible.
  • Gentzen's sequent calculus, which is the most studied formalism
  • m proving in propositional logic, such as the sequent calculus, the cutting-plane method, resolutio
  • t have structural complexity greater than the sequent calculus, but not unboundedly so, although th
  • Versions exist for the Cray X-MP, Y-MP, 2; Sequent, Encore Alliant, DEC VAX-11/784, dataflow arc
  • The empty sequent, having both cedents empty, is defined to be
  • The sequent layers consist of fortifications built by the
  • the natural deduction formulas into a sort of sequent) so that Metamath's requirements are met.
  • Series 300, Multimax, NeXT, PA-RISC, RS/6000, Sequent Symmetry, SGI IRIS, Sun-3, Sun-4 and others.
  • tion concurs with the difficulty of designing sequent systems for pomset logic that have cut-elimin