Skip to content
Formalizing the (self-reference) error of the Liar Paradox
Minimal Type Theory (MTT)
Minimal Type Theory.pdf
Post navigation
Previous
Previous post:
Formalizing Self-Reference Paradox using Predicate Logic (PDF)
Next
Next post:
Simple English refutation of the Incompleteness Theorem