Pages that link to "Item:Q5798788"
From MaRDI portal
The following pages link to A demonstrably consistent mathematics—Part I (Q5798788):
Displayed 8 items.
- Implementing Cantor’s Paradise (Q3179294) (← links)
- A consistent combinatory logic with an inverse to equality (Q3889022) (← links)
- A CALCULUS FOR SELF-REFERENCE (Q4093410) (← links)
- Abstraction in Fitch's Basic Logic (Q5497106) (← links)
- A complete and consistent modal set theory (Q5540458) (← links)
- An extensional variety of extended basic logic (Q5622150) (← links)
- A finitary metalanguage for extended basic logic (Q5816110) (← links)
- A definition of negation in extended basic logic (Q5832047) (← links)