On a coalgebraic view on Logic

被引：2

作者：

Hofmann, Dirk ^{[1
]}

Martins, Manuel A. ^{[1
]}

机构：

[1] Univ Aveiro, Dept Matemat, CIDMA, P-3810193 Aveiro, Portugal

来源：

JOURNAL OF LOGIC AND COMPUTATION | 2013年 / 23卷 / 05期

关键词：

Consequence relation; closure space; coalgebra; covariety; LAX ALGEBRAS; FUNCTORS;

D O I：

10.1093/logcom/exs063

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

In this article we present methods of transition from one perspective on logic to others, and apply this in particular to obtain a coalgebraic presentation of logic. The central ingredient in this process is to view consequence relations as morphisms in a category.

引用

页码：1097 / 1106

页数：10

共 50 条

[1] A coalgebraic view on positive modal logic
Palmigiano, A
[J]. THEORETICAL COMPUTER SCIENCE, 2004, 327 (1-2) : 175 - 195
[2] Coalgebraic logic
Moss, LS
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1999, 96 (1-3) : 277 - 317
[3] Equational Coalgebraic Logic
Kurz, Alexander
Leal, Raul
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 249 : 333 - 356
[4] Coalgebraic Predicate Logic
Litak, Tadeusz
Pattinson, Dirk
Sano, Katsuhiko
Schroder, Lutz
[J]. AUTOMATA, LANGUAGES, AND PROGRAMMING, ICALP 2012, PT II, 2012, 7392 : 299 - 311
[5] Coalgebraic Hybrid Logic
Myers, Rob
Pattinson, Dirk
Schroeder, Lutz
[J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2009, 5504 : 137 - +
[6] A coalgebraic view on reachability
Wissmann, Thorsten
Milius, Stefan
Katsumata, Shin-ya
Dubut, Jeremy
[J]. COMMENTATIONES MATHEMATICAE UNIVERSITATIS CAROLINAE, 2019, 60 (04): : 605 - 638
[7] Algebraic and Coalgebraic Logic Corner
Venema, Yde
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2009, 19 (02) : 303 - 303
[8] Coalgebraic modal logic in CoCasl
Schroeder, Lutz
Mossakowski, Till
[J]. RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 2007, 4409 : 127 - +
[9] From Coalgebraic Logic to Modal Logic: An Introduction
Novitzka, Valerie
Steingartner, William
Perhac, Jan
[J]. IPSI BGD TRANSACTIONS ON INTERNET RESEARCH, 2019, 15 (02):
[10] Coalgebraic fuzzy geometric logic
Litan Kumar Das
Kumar Sankar Ray
Prakash Chandra Mali
[J]. International Journal of Information Technology, 2024, 16 (6) : 3825 - 3836

← 1 2 3 4 5 →