Results 211 to 220 of about 207,997 (268)

Institutions: abstract model theory for specification and programming

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, Rod M. Burstall
openaire   +1 more source

POSITIVE MODEL THEORY AND COMPACT ABSTRACT THEORIES

Journal of Mathematical Logic, 2003
We develop positive model theory, which is a non first order analogue of classical model theory where compactness is kept at the expense of negation. The analogue of a first order theory in this framework is a compact abstract theory: several equivalent yet conceptually different presentations of this notion are given.
openaire   +2 more sources

Fibred and Indexed Categories for Abstract Model Theory

Logic Journal of IGPL, 2007
Indexed and Fibred category theory have a long tradition in computer science as a language to formalize different presentations of the notion of a logic, as for instance, in the theory of institutions and general logics, and as unifying models of (categorical) logic and type theory as well. Here we introduce the notions of indexed and fibred frames and
Alfio Martini, Uwe Wolter, Edward Hermann Haeusler   +2 more
openaire   +1 more source

Two traditions in abstract valuational model theory

Synthese, 2019
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Rohan French, David Ripley
openaire   +2 more sources