Sitemap - 2023 - Infinitely More
Well orders and the ordinal numbers
Relational logic—an introduction
Logic as algebra, supertruth, superfalsity, paraconsistent logic
Łukasiewicz logic and supervaluation logic
Multi-valued logic—an introduction
A formal proof system for propositional logic
Compactness for propositional logic
A hierarchy of expressive power
Expressive completeness of a logical language
A formal language for propositional logic
Classical propositional logic—introduction
Epistemic logic and the problem of common knowledge
Potential versus actual infinity
Transfinite recursive constructions
Shadows of infinity cast over the finite realm
Equinumerosity and comparison of size