The following pages link to Dimiter Vakarelov (Q454384):
Displaying 11 items.
- (Q321257) (redirect page) (← links)
- Dynamic mereotopology. III: Whiteheadian type of integrated point-free theories of space and time. II (Q321258) (← links)
- Dynamic modalities (Q454385) (← links)
- Distributive mereotopology: extended distributive contact lattices (Q505967) (← links)
- Dynamic extensions of arrow logic (Q598299) (← links)
- (Q631076) (redirect page) (← links)
- Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA (Q631077) (← links)
- Nelson's negation on the base of weaker versions of intuitionistic negation (Q813089) (← links)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety (Q917539) (← links)
- Distributive contact lattices: topological representations (Q929965) (← links)
