13 citations · 27 across the 4 of their papers we have counts for
1 paper · 2 filters
Igor Gorbunov, Mikhail Rybakov
The minimal well-determined logic in the language with conjunction and implication is investigated. A calculus for this logic, in which the modus ponens rule is not postulated, is…