1. Aczel, P., Rathjen, M.: Notes on constructive set theory. Technical report, Institut Mittag-Leffler (The Royal Swedish Academy of Sciences) (2001). http://www.ml.kva.se/preprints/archive2000-2001.php
2. Akiyoshi, R.: An ordinal-free proof of the complete cut-elimination theorem for $$\varvec {\Pi _1^1}$$-CA + BI with the $$\omega $$-rule. IfCoLog J. Logics Appl. 4, 867–884 (2017)
3. Barr, M.: Toposes without points. J. Pure Appl. Algebra 5(3), 265–280 (1974)
4. Ciabattoni, A., Metcalfe, G., Montagna, F.: Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. Fuzzy logics and related structures. Fuzzy Sets Syst. 161(3), 369–389 (2010). https://doi.org/10.1016/j.fss.2009.09.001
5. Dover Books on Mathematics Series;HB Curry,1977