output
20022026
most citedThe Lean mathematical library

151 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2011Show all

1 paper · 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…