The following pages link to (Q3012529):
Displaying 6 items.
- Logical metatheorems for abstract spaces axiomatized in positive bounded logic (Q908073) (← links)
- Continuous Markovian logic -- from complete axiomatization to the metric space of formulas (Q2915679) (← links)
- (Q3085174) (← links)
- CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity (Q3185758) (← links)
- (Q3509066) (← links)
- (Q3647279) (← links)