Pages that link to "Item:Q5027236"
From MaRDI portal
The following pages link to Geometric Models for Relevant Logics (Q5027236):
Displaying 10 items.
- Logical and set calculations in the framework of geometrical informatics paradigm (Q300308) (← links)
- Modal logics of some geometrical structures (Q927480) (← links)
- Formalizing mathematics in higher-order logic: A case study in geometric modelling (Q1575663) (← links)
- Logical geometries and information in the square of oppositions (Q2258819) (← links)
- Multi-valued Logic for a Point-Free Foundation of Geometry (Q3295804) (← links)
- Axiomatic Geometry of Conditional Models (Q3547220) (← links)
- Modal Logics for Parallelism, Orthogonality, and Affine Geometries (Q3647300) (← links)
- (Q4583959) (← links)
- Geometrical structures and modal logic (Q4632288) (← links)
- (Q4689309) (← links)