12 citations · 30 across the 8 of their papers we have counts for
1 paper · 1 filter
Nikolay Ivanov, Dimiter Vakarelov
We present a system of relational syllogistic, based on classical propositional logic, having primitives of the following form: Some A are R-related to some B; Some A are R-related…