Constructive Canonicity for Lattice-Based Fixed Point Logics

被引：10
|
作者：
Conradie, Willem [1 ]
Craig, Andrew [1 ]
Palmigiano, Alessandra [1 ,2 ]
Zhao, Zhiguang [2 ]
机构：
[1] Univ Johannesburg, Dept Pure & Appl Math, Johannesburg, South Africa
[2] Delft Univ Technol, Fac Technol Policy & Management, Delft, Netherlands
来源：
LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION: 24TH INTERNATIONAL WORKSHOP, WOLLIC 2017, LONDON, UK, JULY 18-21, 2017, PROCEEDINGS | 2017年 / 10388卷
基金：
新加坡国家研究基金会;
关键词：
Canonicity; Lattice-based fixed point logics; Logics for categorization; Unified correspondence; MODAL MU-CALCULUS; ALGORITHMIC CORRESPONDENCE; SAHLQVIST THEORY; COMPLETENESS; PROOF;
D O I：
10.1007/978-3-662-55386-2_7
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
In the present paper, we prove canonicity results for lattice-based fixed point logics in a constructive meta-theory. Specifically, we prove two types of canonicity results, depending on how the fixed-point binders are interpreted. These results smoothly unify the constructive canonicity results for inductive inequalities, proved in a general lattice setting, with the canonicity results for fixed point logics on a bi-intuitionistic base, proven in a non-constructive setting.
引用
收藏
页码：92 / 109
页数：18
相关论文
共 50 条
  • [21] Lattice-based digital signatures
    Lyubashevsky, Vadim
    NATIONAL SCIENCE REVIEW, 2021, 8 (09)
  • [22] Lattice-based PKEs/KEMs
    Lu, Xianhui
    Zhang, Jiang
    NATIONAL SCIENCE REVIEW, 2021, 8 (09)
  • [23] Lattice-based geometric shaping
    Mirani, Ali
    Agrell, Erik
    Karlsson, Magnus
    2020 EUROPEAN CONFERENCE ON OPTICAL COMMUNICATIONS (ECOC), 2020,
  • [24] Lattice-Based Cryptography: A Survey
    Wang, Xiaoyun
    Xu, Guangwu
    Yu, Yang
    CHINESE ANNALS OF MATHEMATICS SERIES B, 2023, 44 (06) : 945 - 960
  • [25] Lattice-Based Blind Signatures
    Rueckert, Markus
    ADVANCES IN CRYPTOLOGY - ASIACRYPT 2010, 2010, 6477 : 413 - 430
  • [26] Lattice-based paraconsistent logic
    MacCaull, Wendy
    Vakarelov, Dimiter
    RELATIONAL METHODS IN COMPUTER SCIENCE, 2005, 2006, 3929 : 173 - 187
  • [27] Lattice-based memory allocation
    Darte, A
    Schreiber, R
    Villard, G
    IEEE TRANSACTIONS ON COMPUTERS, 2005, 54 (10) : 1242 - 1257
  • [28] Lattice-based equation of state with 3D ising critical point
    Kahangirwe, Micheal
    Bass, Steffen A.
    Jahan, Johannes
    Moreau, Pierre
    Parotto, Paolo
    Ratti, Claudia
    Soloveva, Olga
    Stephanov, Misha
    Bratkovskaya, Elena
    30TH INTERNATIONAL CONFERENCE ON ULTRA-RELATIVISTIC NUCLEUS-NUCLEUS COLLISIONS, QUARK MATTER 2023, 2024, 296
  • [29] Lattice-Based Cryptography:A Survey
    Xiaoyun WANG
    Guangwu XU
    Yang YU
    Chinese Annals of Mathematics,Series B, 2023, (06) : 945 - 960
  • [30] Lattice-Based Cryptography: A Survey
    Xiaoyun Wang
    Guangwu Xu
    Yang Yu
    Chinese Annals of Mathematics, Series B, 2023, 44 : 945 - 960
12345