Logo Logo
Hilfe
Hilfe
Switch Language to English

Paris, Jeff B. und Rafiee Rad, Soroush (2010): A Note on the Least Informative Model of a Theory. In: Ferreira, Fernando; Löwe, Benedikt; Mayordomo, Elvira und Mendes Gomes, Luís (Hrsg.): Programs, Proofs, Processes. Lecture Notes in Computer Science, Bd. 6158. Springer Berlin Heidelberg. S. 342-351

Volltext auf 'Open Access LMU' nicht verfügbar.

Abstract

We consider one possible interpretation of the ‘least informative model’ of a relational and finite theory and show that it is well defined for a particular class of Π1 theories. We conjecture that it is always defined for Π1 theories.

Dokument bearbeiten Dokument bearbeiten