Completeness Theorems via the Double Dual Functor

被引：0
|
作者：
Galli A. [1 ]
Reyes G.E. [1 ]
Sagastume M. [2 ]
机构：
[1] Universidad de La Plata,
[2] Université de Montréal,undefined
来源：
Studia Logica | 2000年 / 64卷 / 1期
关键词：
Category of distributive lattices; Completeness theorems; Conservative extensions; Double dual functor; Non-classical prepositional logics (intuitionistic; bi-intuitionistic; moisil; Łukasiewicz; nelson);
D O I：
10.1023/A:1005238330484
中图分类号：
学科分类号：
摘要：
The aim of this paper is to apply properties of the double dual endofunctor on the category of bounded distributive lattices and some extensions thereof to obtain completeness of certain non-classical prepositional logics in a unified way. In particular, we obtain completeness theorems for Moisil calculus, n-valued Łukasiewicz calculus and Nelson calculus. Furthermore we show some conservativeness results by these methods. © 2000 Kluwer Academic Publishers.
引用
收藏
页码：61 / 81
页数：20
相关论文
共 50 条
  • [41] On the interplay between the Frobenius functor and its dual
    Dibaei, Mohammad T.
    Eghbali, Mohammad
    Khalatpour, Yaser
    JOURNAL OF ALGEBRA AND ITS APPLICATIONS, 2021, 20 (05)
  • [42] IMPOSSIBILITY THEOREMS WITHOUT SOCIAL COMPLETENESS AXIOM
    FISHBURN, PC
    ECONOMETRICA, 1974, 42 (04) : 695 - 704
  • [43] ARNOULD BAYART'S MODAL COMPLETENESS THEOREMS
    Cresswell, M. J.
    LOGIQUE ET ANALYSE, 2015, (229) : 89 - 142
  • [44] COMPLETENESS THEOREMS FOR KLEENE ALGEBRA WITH TESTS AND TOP
    Pous, Damien
    Wagemaker, Jana
    LOGICAL METHODS IN COMPUTER SCIENCE, 2024, 20 (03) : 1 - 27
  • [45] Arithmetical completeness theorems for monotonic modal logics
    Kogure, Haruka
    Kurahashi, Taishi
    ANNALS OF PURE AND APPLIED LOGIC, 2023, 174 (07)
  • [46] 2 THEOREMS ABOUT THE COMPLETENESS OF HOARES LOGIC
    BERGSTRA, JA
    TUCKER, JV
    INFORMATION PROCESSING LETTERS, 1982, 15 (04) : 143 - 149
  • [47] BARWISE COMPLETENESS THEOREMS FOR SOME BIPROBABILITY LOGICS
    RASKOVIC, M
    ZIVALJEVIC, R
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1986, 32 (02): : 133 - 135
  • [48] EXTENSIONS OF MAKINSONS COMPLETENESS THEOREMS IN MODAL LOGIC
    ROUTLEY, R
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1970, 16 (03): : 239 - &
  • [49] On Completeness in Metric Spaces and Fixed Point Theorems
    Valentín Gregori
    Juan-José Miñana
    Bernardino Roig
    Almanzor Sapena
    Results in Mathematics, 2018, 73
  • [50] COMPLETENESS THEOREMS FOR LINEARIZED THEORIES OF INTERACTING CONTINUA
    ATKIN, RJ
    QUARTERLY JOURNAL OF MECHANICS AND APPLIED MATHEMATICS, 1968, 21 : 171 - &
12345