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 条

[1] CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS
Suzuki, Tomoyuki
REVIEW OF SYMBOLIC LOGIC, 2011, 4 (01): : 1 - 42
[2] Constructive canonicity in non-classical logics
Ghilardi, S
Meloni, G
ANNALS OF PURE AND APPLIED LOGIC, 1997, 86 (01) : 1 - 32
[3] Representation theorems and the semantics of (semi)lattice-based logics
Sofronie-Stokkermans, V
31ST INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2001, : 125 - 134
[4] The Beth property and interpolation in lattice-based algebras and logics
Maksimova L.L.
Orlowska E.
Algebra and Logic, 2008, 47 (3) : 176 - 192
[5] Consistency reasoning in lattice-based fuzzy Description Logics
Borgwardt, Stefan
Penaloza, Rafael
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2014, 55 (09) : 1917 - 1938
[6] Duality via truth: Semantic frameworks for lattice-based logics
Orlowska, Ewa
Rewitzky, Ingrid
LOGIC JOURNAL OF THE IGPL, 2005, 13 (04) : 467 - 490
[7] Fixed point logics
Dawar, A
Gurevich, Y
BULLETIN OF SYMBOLIC LOGIC, 2002, 8 (01) : 65 - 88
[8] Modal Fixed Point Logics
Jaeger, Gerhard
LOGICS AND LANGUAGES FOR RELIABILITY AND SECURITY, 2010, 25 : 129 - 154
[9] A Lattice-based Memory Polynomial Model for Nonlinear MIMO Transmitter Behavioral Modeling Using Fixed Point Arithmetic
Abdelhafiz, Abubaker
Hammi, Oualid
Ghannouchi, Fadhel M.
2015 IEEE MTT-S INTERNATIONAL MICROWAVE SYMPOSIUM (IMS), 2015,
[10] Practical Implementation of Lattice-based Program Obfuscators for Point Functions
Bahler, L.
Di Crescenzo, G.
Polyakov, Y.
Rohloff, K.
Cousins, D. B.
2017 INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING & SIMULATION (HPCS), 2017, : 761 - 768

← 1 2 3 4 5 →