SUB-LOGICAL PROPERTIES OF CLASSICAL AND INTUITIONISTIC PROPOSITIONAL CALCULUS

被引：0
|
作者：
SEMENENK.MI
机构：
来源：
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1970年 / 16卷 / 03期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：201 / &
相关论文
共 50 条
  • [21] Fixed-Point Elimination in the Intuitionistic Propositional Calculus
    Ghilardi, Silvio
    Gouveia, Maria Joao
    Santocanale, Luigi
    [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2016), 2016, 9634 : 126 - 141
  • [22] ON RECONSTRUCTABILITY OF CLASSICAL PROPOSITIONAL LOGIC IN INTUITIONISTIC LOGIC
    WOJCICKI, R
    [J]. BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1970, 18 (08): : 421 - &
  • [23] THE ORIGINALITY OF THE STOICS' PROPOSITIONAL LOGIC COMPARED TO THE CLASSICAL PROPOSITIONAL CALCULUS
    Simoes, Eduardo
    Moreira, Jose Carlos Alves
    Soares, Pedro Luciano Souza
    Souza, Thaina Ferreira
    Freitas, Fabio Augusto Passos
    [J]. AUFKLARUNG-REVISTA DE FILOSOFIA, 2022, 9 (02): : 93 - 108
  • [24] Abstract interpretation of proofs: Classical propositional calculus
    Hyland, M
    [J]. COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2004, 3210 : 6 - 21
  • [25] Categorical proof theory of classical propositional calculus
    Bellin, Gianluigi
    Hyland, Martin
    Robinson, Edmund
    Urban, Christian
    [J]. THEORETICAL COMPUTER SCIENCE, 2006, 364 (02) : 146 - 165
  • [26] CRITERIA FOR ADMISSIBILITY OF RULES OF INFERENCE WITH PARAMETERS IN THE INTUITIONISTIC PROPOSITIONAL CALCULUS
    RYBAKOV, VV
    [J]. MATHEMATICS OF THE USSR-IZVESTIYA, 1990, 54 (06): : 693 - 703
  • [27] Teaching Intuitionistic and Classical Propositional Logic Using Isabelle
    Villadsen, Jorgen
    From, Asta Halkjaer
    Blackburn, Patrick
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (354): : 71 - 85
  • [28] Epistemic extensions of combined classical and intuitionistic propositional logic
    Lewitzka, Steffen
    [J]. LOGIC JOURNAL OF THE IGPL, 2017, 25 (03) : 309 - 324
  • [29] A modal logic amalgam of classical and intuitionistic propositional logic
    Lewitzka, Steffen
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (01) : 201 - 212
  • [30] A CALCULUS OF PROPOSITIONAL PROPERTIES OF PROGRAMS
    GAISARYAN, SS
    LASTOVETSKII, AL
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 1990, 16 (03) : 93 - 99
12345