Results 261 to 270 of about 3,950,481 (321)

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

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

Duality for Compact Logics and Substitution in Abstract Model Theory

Mathematical Logic Quarterly, 1985
Using no special set-theoretical hypothesis we prove the following, for arbitrary logics L and M generated by a set of quantifiers: (i) If L is compact and \(\equiv_ L=\equiv_ M\), then L and M are equivalent. (ii) if \(L\subseteq M\), then there is the largest logic \(L^+\) such that \(L^+\subseteq M\) and \(\equiv_{L^+}=\equiv_ L.\) We also find an ...
openaire   +4 more sources

Quantum information theory for model abstraction techniques

SPIE Proceedings, 2001
The intent of this paper to bring forward and explore a possible use of the emerging field of quantum information sciences to the modeling and simulation community. It is desired that this research will open new pathways and partnerships where quantum information theory may be applied to modeling techniques.
Marjorie V. Quant, Ryan Colburn
openaire   +1 more source