Results 1 to 10 of about 3,950,481 (321)
A Proof Theory for Model Checking: An Extended Abstract [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 While model checking has often been considered as a practical alternative to building formal proofs, we argue here that the theory of sequent calculus proofs can be used to provide an appealing foundation for model checking.
Quentin Heath, Dale Miller
doaj +5 more sources
Institutions: abstract model theory for specification and programming [PDF]
Journal of the ACM, 1992 There is a population explosion among the logical systems used in computing science. Examples include first-order logic, equational logic, Horn-clause logic, higher-order logic, infinitary logic, dynamic logic, intuitionistic logic, order-sorted logic, and temporal logic; moreover, there is a tendency for each theorem prover to have its ...
Joseph A. Goguen, R. M. Burstall
openalex +2 more sources
The Craig Interpolation Theorem in abstract model theory [PDF]
Synthese, 2008 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jouko Väänánen
openalex +5 more sources
A generalization of abstract model theory [PDF]
Fundamenta Mathematicae, 1984 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Daniele Mundici
openalex +4 more sources
Beyond abstract elementary classes: On the model theory of geometric lattices [PDF]
Annals of Pure and Applied Logic, 2017 Based on Crapo's theory of one point extensions of combinatorial geometries, we find various classes of geometric lattices that behave very well from the point of view of stability theory. One of them, $(\mathbf{K}^3, \preccurlyeq)$, is $ω$-stable, it has a monster model and an independence calculus that satisfies all the usual properties of non ...
Tapani Hyttinen, Gianluca Paolini
+6 more sources
Standard models of abstract intersection theory for operators in Hilbert space [PDF]
Bulletin Polish Acad. Sci. Math., 2012 22 ...
Grzegorz Banaszak, Yoichi Uetake
openalex +5 more sources
A Shared Framework for Consequence Operations and Abstract Model Theory [PDF]
Logica Universalis, 2012 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Christian Wallmann
openalex +4 more sources
The theorems of Beth and Craig in abstract model theory. I. The abstract setting [PDF]
Transactions of the American Mathematical Society, 1979 In the context of abstract model theory various definability properties, their interrelations and their relation to compactness are investigated.
Johann A. Makowsky, Saharon Shelah
openalex +3 more sources
Relational data models and category theory (abstract) [PDF]
Proceedings of the 1990 ACM annual conference on Cooperation - CSC '90, 1990 Mathematicians use the notion of category to define their universe. While database theorists use the data model to define their universe of discourse. Therefore, a close interconnection between these two disciplines should be anticipated. This paper represents our first effort to explore this interconnection.
Tzu‐Yu Lin
openalex +2 more sources
, 2010 We define a notion of logic that provides a general framework for the study of extensions of first-order predicate calculus. The concept of partial isomorphism and its relation to infinitary logics are examined. Results on the definability of ordinals establish the setting for our proof of Lindstrom's Theorem: this theorem gives conditions that ...
Craig Fraser
openalex +3 more sources