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
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2016), 2016, 9634 : 126 - 141
  • [22] 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
    AUFKLARUNG-REVISTA DE FILOSOFIA, 2022, 9 (02): : 93 - 108
  • [23] ON RECONSTRUCTABILITY OF CLASSICAL PROPOSITIONAL LOGIC IN INTUITIONISTIC LOGIC
    WOJCICKI, R
    BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1970, 18 (08): : 421 - &
  • [24] Abstract interpretation of proofs: Classical propositional calculus
    Hyland, M
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2004, 3210 : 6 - 21
  • [25] Categorical proof theory of classical propositional calculus
    Bellin, Gianluigi
    Hyland, Martin
    Robinson, Edmund
    Urban, Christian
    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
    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
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (354): : 71 - 85
  • [28] Epistemic extensions of combined classical and intuitionistic propositional logic
    Lewitzka, Steffen
    LOGIC JOURNAL OF THE IGPL, 2017, 25 (03) : 309 - 324
  • [29] A modal logic amalgam of classical and intuitionistic propositional logic
    Lewitzka, Steffen
    JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (01) : 201 - 212
  • [30] A CALCULUS OF PROPOSITIONAL PROPERTIES OF PROGRAMS
    GAISARYAN, SS
    LASTOVETSKII, AL
    PROGRAMMING AND COMPUTER SOFTWARE, 1990, 16 (03) : 93 - 99
12345