We demonstrate that multiple-conclusion system of classical logic can be naturally regarded as a communication calculus.
PDF | Following the so-called inversion principle of Gentzen-Prawitz, we demonstrate that multiple-conclusion system of classical logic can be naturally.
multiple-conclusion system of classical logic can be naturally regarded as a commu- nication calculus. For the motivation, we first introduce a hierarchical ...
Multiple-Conclusion System as Communication Calculus : Informal meaning of proofs as communication terms. (Algebraic Systems, Formal Languages and ...
to establish “multiple-conclusion system as communication calculus” We discuss the dynamic aspect of the hierarchical structure from the viewpoint of a ...
It is a calculus with modus ponens and primitive substitution; it is also a “coercion calculus”, in the sense of Cervesato and Pfenning. Both sequent calculus ...
Following the so-called inversion principle of Gentzen-Prawitz, we demonstrate that multiple-conclusion system of classical logic can be naturally regarded ...
We present a multiple-conclusion hypersequent system for the standard first-order Gödel logic. We provide a constructive, direct, and simple proof of the ...
A multiple-conclusion calculus is constituted by a universe V of formulae and a relation ⊢ of multiple-conclusion consequence. As in Section 1.1 we assume ...
Missing: communication | Show results with:communication
著者: Fujita, Ken-etsu ; 著者名の別形: 藤田, 憲悦 ; 発行日: Aug-2000 ; 出版者: 京都大学数理解析研究所 ; 誌名: 数理解析研究所講究録.