L-Topology via Generalised Geometric Logic

2019/08/25 by Jana, P.
#03B52 03B70 #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1909.02106

Abstract

This paper introduces a notion of generalised geometric logic. Connections of generalised geometric logic with L-topological system and L-topological space are established.

Related

• Geometric contexts and applications to logic
• Generalizing Topology via Chu Spaces
• A study of the interrelation between fuzzy topological systems and logic
• Generalised ultracategories and conceptual completeness of geometric logic
• A Topological Representation of Semantics of First-order Logic and Its Application as a Method in Model Theory