3 papers
cs.LO2024
The Architecture of Truth
Robert E. Kent
The theory of institutions is framed as an indexed/fibered duality, where the indexed aspect specifies the fibered aspect. Tarski represented truth in terms of a satisfaction relat…
cs.LO2024
Truth Factors
Robert E. Kent
Truth refers to the satisfaction relation used to define the semantics of model-theoretic languages. The satisfaction relation for first order languages (truth classification), and…
cs.LO2024
The Characterization of Abstract Truth and its Factorization
Robert E. Kent
Human knowledge is made up of the conceptual structures of many communities of interest. In order to establish coherence in human knowledge representation, it is important to enabl…