Papers

Topics

Authors

Recent

View all

Detailed Answer

Quick Answer

Concise responses based on abstracts only

Detailed Answer

Well-researched responses based on abstracts and relevant paper content.

Custom Instructions Pro

Preferences or requirements that you'd like Emergent Mind to consider when generating responses

Gemini 2.5 Flash

Gemini 2.5 Flash 42 tok/s

Gemini 2.5 Pro 53 tok/s Pro

GPT-5 Medium 17 tok/s Pro

GPT-5 High 13 tok/s Pro

GPT-4o 101 tok/s Pro

Kimi K2 217 tok/s Pro

GPT OSS 120B 474 tok/s Pro

Claude Sonnet 4 36 tok/s Pro

2000 character limit reached

The IFF Approach to the Lattice of Theories (1811.01144v1)

Published 3 Nov 2018 in cs.LO

Abstract: The IFF approach for the notion of "lattice of theories" uses the idea of a concept lattice from Formal Concept Analysis (Ganter and Wille) and the idea of the truth classification from Information Flow (Barwise and Seligman). The IFF approach is concentrated in the joining of these two important ideas. The result is called the truth concept lattice, the concept lattice of the truth classification. The IFF provides a principled (versus ad hoc) approach for John Sowa's "lattice of theories" framework. The "lattice of theories" is represented by the truth concept lattice, each theory in the lattice is represented by a formal concept in the truth concept lattice.