A CALCULUS OF PROPOSITIONAL PROPERTIES OF PROGRAMS

被引：0
|
作者：
GAISARYAN, SS
LASTOVETSKII, AL
机构：
来源：
PROGRAMMING AND COMPUTER SOFTWARE | 1990年 / 16卷 / 03期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The article presents a proposed algebraic technique that makes it possible to determine propositional semantics of programs. The construction requires representation of data types by continuous lattices, as well as continuity of types, intertype operations, and elementary relations.
引用
收藏
页码：93 / 99
页数：7
相关论文
共 50 条
  • [21] STRUCTURAL COMPLETENESS OF PROPOSITIONAL CALCULUS
    POGORZELSKI, WA
    BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1971, 19 (05): : 349 - +
  • [22] PROPOSITIONAL CALCULUS - NIDDITCH,PH
    PATTON, TE
    PHILOSOPHICAL REVIEW, 1964, 73 (01): : 127 - 129
  • [23] AN APPROACH TO INFINITARY PROPOSITIONAL CALCULUS
    THOMASON, RH
    JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (01) : 150 - &
  • [24] Knowledge forgetting in propositional μ-calculus
    Feng, Renyan
    Wang, Yisong
    Qian, Ren
    Yang, Lei
    Chen, Panfeng
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2023, 91 (01) : 1 - 43
  • [25] Revision in extended propositional calculus
    Papini, O
    Rauzy, A
    SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING AND UNCERTAINTY, 1995, 946 : 328 - 335
  • [26] A COUPLE OF NOVELTIES IN THE PROPOSITIONAL CALCULUS
    HOARE, CAR
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1985, 31 (02): : 173 - 178
  • [27] The higher dimensional propositional calculus
    Bucciarelli, A.
    Curien, P-L
    Ledda, A.
    Paoli, F.
    Salibra, A.
    LOGIC JOURNAL OF THE IGPL, 2024,
  • [28] THE CLASSICAL PROPOSITIONAL CALCULUS OF ARGUMENTS
    BULL, R
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1984, 30 (01): : 45 - 86
  • [29] EXTENSION OF INTUITIONISTIC PROPOSITIONAL CALCULUS
    BOWEN, KA
    PROCEEDINGS OF THE KONINKLIJKE NEDERLANDSE AKADEMIE VAN WETENSCHAPPEN SERIES A-MATHEMATICAL SCIENCES, 1971, 74 (03): : 287 - &
  • [30] PROPOSITIONAL CALCULUS - NIDDITCH,PH
    LEMMON, EJ
    MIND, 1964, 73 (290) : 304 - 305
12345