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 条
  • [11] Adjoint functor theorems for homotopically enriched categories
    Bourke, John
    Lack, Stephen
    Vokrinek, Lukas
    ADVANCES IN MATHEMATICS, 2023, 412
  • [12] Completeness theorems for syllogistic fragments
    Moss, Lawrence S.
    LOGICS FOR LINGUISTIC STRUCTURES, 2008, 201 : 143 - 173
  • [13] On the Family of Theorems on Metric Completeness
    Park, Sehie
    EUROPEAN JOURNAL OF PURE AND APPLIED MATHEMATICS, 2024, 17 (04): : 2370 - 2383
  • [14] Completeness theorems for the Stokes system
    Cialdea, A.
    Nino, G.
    COMPLEX VARIABLES AND ELLIPTIC EQUATIONS, 2020, 65 (01) : 74 - 86
  • [15] Completeness theorems in general relativity
    Choquet-Bruhat, Y
    Cotsakis, S
    RECENT DEVELOPMENTS IN GRAVITY, 2003, : 145 - 149
  • [16] COMPLETENESS THEOREMS IN THEORIES ON GRAPHS
    DONNADIEU, MR
    RAMBAUD, C
    COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1977, 284 (06): : 355 - 358
  • [17] COMPLETENESS THEOREMS FOR TOPOLOGICAL MODELS
    SGRO, JA
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 19 (07): : A765 - A765
  • [18] LOCALIZATION OF DUAL FUNCTOR IN BANBAN
    PELLETIER, JW
    COMMUNICATIONS IN ALGEBRA, 1977, 5 (12) : 1317 - 1333
  • [19] ADJOINT FUNCTOR THEOREMS FOR LAX-IDEMPOTENT PSEUDOMONADS
    Arkor, Nathanael
    Di Liberti, Ivan
    Loregian, Fosco
    THEORY AND APPLICATIONS OF CATEGORIES, 2024, 41
  • [20] RELATING TRANSLATION FUNCTOR AND JACQUET FUNCTOR VIA CHAN-WONG’S COMPARISON FUNCTOR
    Huang, Chang
    arXiv,
12345