15 citations · 63 across the 21 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2011
Logical Varieties in Normative Reasoning
Mark Burgin, Kees, de Vey Mestdagh
Although conventional logical systems based on logical calculi have been successfully used in mathematics and beyond, they have definite limitations that restrict their application…
cs.LO2008★ 2 cited
Concurrent Composition and Algebras of Events, Actions, and Processes
Mark Burgin a, Marc L. Smith
There are many different models of concurrent processes. The goal of this work is to introduce a common formalized framework for current research in this area and to eliminate shor…