SEMANTICS FOR NON-CLASSICAL LOGICS

被引:1
|
作者
NAGAI, S
机构
来源
PROCEEDINGS OF THE JAPAN ACADEMY | 1973年 / 49卷 / 05期
关键词
D O I
10.3792/pja/1195519346
中图分类号
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号
07 ; 0710 ; 09 ;
摘要
引用
收藏
页码:337 / 340
页数:4
相关论文
共 50 条
  • [41] IT Incident Management and Analysis Using Non-classical Logics
    Tavaves, Priscila F.
    Sakamoto, Liliam
    Silva, Genivaldo Carlos
    Abe, Jair M.
    Pimenta, Avelino P., Jr.
    [J]. ADVANCES IN PRODUCTION MANAGEMENT SYSTEMS: INITIATIVES FOR A SUSTAINABLE WORLD, 2016, 488 : 20 - 27
  • [42] NON-CLASSICAL LOGICS AND INDEPENDENCE RESULTS OF SET THEORY
    FITTING, M
    [J]. THEORIA, 1972, 38 : 133 - 142
  • [43] Normal natural deduction proofs (in non-classical logics)
    Sieg, W
    Cittadini, S
    [J]. MECHANIZING MATHEMATICAL REASONING: ESSAYS IN HONOUR OF JORG H SIEKMANN ON THE OCCASION OF HIS 60TH BIRTHDAY, 2005, 2605 : 169 - 191
  • [44] Minimal Change in AGM Revision for Non-Classical Logics
    Ribeiro, Marcio M.
    Wassermann, Renata
    [J]. FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2014, : 657 - 660
  • [45] A survey on computing prime implicants and implicates in classical and non-classical logics
    Raut, Manoj K.
    Singh, Arindama
    [J]. COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2014, 29 (05): : 327 - 340
  • [46] Translating Non-classical Logics into Classical Logic by Using Hidden Variables
    Juan C. Agudelo-Agudelo
    [J]. Logica Universalis, 2017, 11 : 205 - 224
  • [47] An Alleged Tension Between non-Classical Logics and Applied Classical Mathematics
    Horvat, Sebastian
    Toader, Iulian D.
    [J]. PHILOSOPHICAL QUARTERLY, 2024,
  • [49] L-algebras and three main non-classical logics
    Rump, Wolfgang
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 2022, 173 (07)