- Intrinsic co-Heyting boundaries and the Leibniz rule in certain toposes F.William Lawvere Sat 18 May 2013
- Topos-Based Logic for Quantum Systems and Bi-Heyting Algebras Andreas Doering Sat 18 May 2013
- Bi-Heyting algebras, toposes and modalities Gonzalo E. Reyes Houman Zolfaghari Sat 18 May 2013
- Intuitionistic propositional logic is polynomial-space complete Richard Statman Fri 05 April 2013
Library Size: 13G (4 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
