• fdrake
    3.1k
    If yes, can you please try to explain this in a better way? I don't even have much time for this, sorry. I have even to go to the hospital for a couple of days next week.Mephist

    The Heyting algebras are for intuitionist logic (of some sort). I wrote that previously.

    Hope you feel better soon.
1910111213Next
bold
italic
underline
strike
code
quote
ulist
image
url
mention
reveal
youtube
tweet
Add a Comment

Welcome to The Philosophy Forum!

Get involved in philosophical discussions about knowledge, truth, language, consciousness, science, politics, religion, logic and mathematics, art, history, and lots more. No ads, no clutter, and very little agreement — just fascinating conversations.