Skip to main content
MathOverflow
beroal's user avatar
beroal's user avatar
beroal's user avatar
beroal
  • Member for 14 years, 5 months
  • Last seen more than a month ago
Profile Activity

53 Actions

All Accepts Posts Badges Comments Revisions Reviews Suggestions
asked
Motivation of filtered colimits
revised
Abstract nonsense attribution
added 45 characters in body; deleted 25 characters in body
answered
Abstract nonsense attribution
revised
[solved] sequent calculus as programming language
edited body
comment
[solved] sequent calculus as programming language
Actually we have a syntax, at least for implication fragment, see "Update 1" in my question.
revised
[solved] sequent calculus as programming language
answer
awarded
 Supporter
revised
[solved] sequent calculus as programming language
added 393 characters in body
awarded
 Editor
revised
[solved] sequent calculus as programming language
added 15 characters in body
comment
[solved] sequent calculus as programming language
It is strange. There is no reason for answer to be complex. Lambda-calculus and combinatory logic are simple. I am interested in intuitionistic logic.
awarded
 Student
asked
[solved] sequent calculus as programming language
1 2
3