Generalized sketches as a framework for completeness theorems .3.

被引：9

|

作者：

Makkai, M

机构：

来源：

JOURNAL OF PURE AND APPLIED ALGEBRA | 1997年 / 115卷 / 03期

关键词：

D O I：

10.1016/S0022-4049(96)00009-6

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

收藏

页码：241 / 274

页数：34

相关论文

共 50 条

[41] New completeness theorems on the boundary in elasticity
Cialdea, A.
JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 2024, 537 (02)
[42] CODENSITY THEOREMS AS CATEGORICAL EXPRESSIONS OF COMPLETENESS
MAKKAI, M
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 300 - 300
[43] Completeness Theorems for Systems of Differential Equations
M. M. Malamud
L. L. Oridoroga
Functional Analysis and Its Applications, 2000, 34 : 308 - 310
[44] Completeness Theorems for Adaptively Secure Broadcast
Cohen, Ran
Garay, Juan
Zikas, Vassilis
ADVANCES IN CRYPTOLOGY - CRYPTO 2023, PT I, 2023, 14081 : 3 - 38
[45] Completeness theorems for reactive modal logics
Dov Gabbay
Annals of Mathematics and Artificial Intelligence, 2012, 66 : 81 - 129
[46] FIRST-ORDER COMPLETENESS THEOREMS
WAVRIK, JJ
MATHEMATISCHE ANNALEN, 1973, 206 (03) : 249 - 264
[47] COMPLETENESS THEOREMS FOR SETS OF DIFFERENTIAL OPERATORS
DAVIS, P
DUKE MATHEMATICAL JOURNAL, 1953, 20 (03) : 345 - 357
[48] Completeness theorems for σ-additive probabilistic semantics
Ikodinovic, Nebojsa
Ognjanovic, Zoran
Perovic, Aleksandar
Raskovic, Miodrag
ANNALS OF PURE AND APPLIED LOGIC, 2020, 171 (04)
[49] ON SOME COMPLETENESS THEOREMS IN MODAL LOGIC
MAKINSON, D
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1966, 12 (04): : 379 - &
[50] On Star Expressions and Coalgebraic Completeness Theorems
Schmid, Todd
Rot, Jurriaan
Silva, Alexandra
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (351): : 242 - 259

← 1 2 3 4 5 →