27 citations · 39 across the 20 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014
Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus
Ryuta Arisaka
Development of a contraction-free BI sequent calculus, be it in the sense of G3i or G4i, has not been successful in literature. We address the open problem by presenting such a seq…
cs.AI2014★ 2 cited
Gradual Classical Logic for Attributed Objects
Ryuta Arisaka
There is knowledge. There is belief. And there is tacit agreement.' 'We may talk about objects. We may talk about attributes of the objects. Or we may talk both about objects and t…