D. Scott. On engendring an illusion of understanding. Journal of Philosophy, p. 787-807, 1971. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Sequents, Frames, and Completeness - Coquand, Zhang (Correct)
....structure. At the categorical level, we present equivalences among the categories of sequent structures, distributive lattices, and spectral locales using appropriate morphisms. Introduction Entailment relations were introduced by Scott as an abstract description of Gentzen s sequent calculus [15 17]. It can be seen as a generalisation of the earlier consequence calculus of Hertz [9] to a multi conclusion consequence relation. The notion of consequence relation, with only one conclusion, has been analysed by Tarski [20] This consequence calculus has been used by Scott in order to give a ....
D. Scott. On engendring an illusion of understanding. Journal of Philosophy, p. 787-807, 1971.
Sequents, Frames, and Completeness - Coquand, Zhang (Correct)
....structures, distributive lattices, and spectral locales using appropriate morphisms. Key words: sequent structures, lattices, frames, domain theory, resolution, category. Introduction Entailment relations were introduced by Scott as an abstract description of Gentzen s sequent calculus [13 15]. It can be seen as a generalisation of the earlier consequence calculus of Hertz [8] to a multi conclusion consequence relation. The notion of consequence relation, with only one conclusion, has been analysed by Tarski [17] This consequence calculus has been used by Scott in order to give a ....
D. Scott. On engendring an illusion of understanding. Journal of Philosophy, p. 787-807, 1971. 15
Entailment Relations and Distributive Lattices - Cederquist, Coquand (1998) (2 citations) (Correct)
....X Y X;X 0 Y; Y 0 (M) X s; Z X; s Z X Z (T ) The first condition (R) can be replaced by the condition x x using the second condition (M) Notice that this definition is symmetric : the converse of an entailment relation is also an entailment relation. As emphasised by Scott [Sco71, Sco73, Sco74], this notion of entailment relation can be seen as an abstract generalisation of Gentzen s multi conclusion sequent calculus. Gentzen was inspired by the notion of consequence relation, due to Hertz, see [Gen69] and was the first to formulate the rule (T ) in this setting. The basic idea of ....
D. Scott. On engendring an illusion of understanding. Journal of Philosophy, pages 787--807, 1971.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC