Institution-independent Model Theory

被引：0

作者：

Tarlecki, Andrzej ^{[1
]}

机构：

[1] Univ Warsaw, Inst Informat, PL-00325 Warsaw, Poland

来源：

STUDIA LOGICA | 2014年 / 102卷 / 01期

关键词：

SPECIFICATION;

D O I：

10.1007/s11225-014-9541-8

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：225 / 229

页数：5

共 50 条

[1] Jewels of institution-independent model theory
Diaconescu, Razvan
[J]. ALGEBRA, MEANING, AND COMPUTATION: ESSAYS DEDICATED TO JOSEPH A. GOGUEN ON THE OCCASION OF HIS 65TH BIRTHDAY, 2006, 4060 : 65 - 98
[2] Răzvan Diaconescu, Institution-independent Model Theory
Andrzej Tarlecki
[J]. Studia Logica, 2014, 102 : 225 - 229
[3] Institution-independent ultraproducts
Diaconescu, R
[J]. FUNDAMENTA INFORMATICAE, 2003, 55 (3-4) : 321 - 348
[4] An institution-independent proof of the Beth definability theorem
Aiguier M.
Barbier F.
[J]. Studia Logica, 2007, 85 (3) : 333 - 359
[5] An Institution-independent Proof of Craig Interpolation Theorem
Răzvan Diaconescu
[J]. Studia Logica, 2004, 77 (1) : 59 - 79
[6] Towards an Institution-Independent Concept of Constitutional Review
Fukuda, Kazuo
[J]. COLUMBIA JOURNAL OF TRANSNATIONAL LAW, 2023, 61 (02): : 387 - 452
[7] From conventional to institution-independent logic programming
Tutu, Ionut
Fiadeiro, Jose Luiz
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (06) : 1679 - 1716
[8] An institution-independent proof of the Robinson Consistency Theorem
Gâinâ D.
Popescu A.
[J]. Studia Logica, 2007, 85 (1) : 41 - 73
[9] Specification of systems with parameterised events: An institution-independent approach
Hennicker, Rolf
Knapp, Alexander
[J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2022, 128
[10] EXTENDED ML - AN INSTITUTION-INDEPENDENT FRAMEWORK FOR FORMAL PROGRAM-DEVELOPMENT
SANNELLA, D
TARLECKI, A
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 240 : 364 - 389

← 1 2 3 4 5 →