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 条

[41] Coalgebraic logic over general measurable spaces - a survey
Doberkat, Ernst-Erich
Schubert, Christoph
[J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2011, 21 (02) : 175 - 234
[42] Compositional SOS and beyond: a coalgebraic view of open systems
Corradini, A
Heckel, R
Montanari, U
[J]. THEORETICAL COMPUTER SCIENCE, 2002, 280 (1-2) : 163 - 192
[43] Infinite trees and completely iterative theories:: a coalgebraic view
Aczel, P
Adámek, J
Milius, S
Velebil, J
[J]. THEORETICAL COMPUTER SCIENCE, 2003, 300 (1-3) : 1 - 45
[44] Coalgebraic modal logic: soundness, completeness and decidability of local consequence
Pattinson, D
[J]. THEORETICAL COMPUTER SCIENCE, 2003, 309 (1-3) : 177 - 193
[45] Functorial Coalgebraic Logic: The Case of Many-sorted Varieties
Kurz, Alexander
Petrisan, Daniela
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 203 (05) : 175 - 194
[46] Quantum field theory and coalgebraic logic in theoretical computer science
Basti, Gianfranco
Capolupo, Antonio
Vitiello, Giuseppe
[J]. PROGRESS IN BIOPHYSICS & MOLECULAR BIOLOGY, 2017, 130 : 39 - 52
[47] Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence
Schubert, Christoph
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 257 : 71 - 85
[48] Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols
Keizer, Alex C.
Basold, Henning
Perez, Jorge A.
[J]. PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2021, 2021, 12648 : 375 - 403
[49] MANY-VALUED COALGEBRAIC LOGIC OVER SEMI-PRIMAL VARIETIES
Kurz, Alexander
Poiger, Wolfgang
Teheux, Bruno
[J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2024, 20 (03) : 1 - 6
[50] Many-sorted coalgebraic modal logic: A model-theoretic study
Jacobs, B
[J]. RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 2001, 35 (01): : 31 - 59

← 1 2 3 4 5 →