Ceragioli, Leonardo Peano’s counterexample to harmony. (English) Zbl 1452.03008 Theoria 85, No. 6, 459-484 (2019). Reviewer: Victor V. Pambuccian (Glendale) MSC: 03A05 03F03 03F30 × Cite Format Result Cite Review PDF Full Text: DOI
Vakarelov, Dimiter Nelson’s negation on the base of weaker versions of intuitionistic negation. (English) Zbl 1086.03026 Stud. Log. 80, No. 2-3, 393-430 (2005). MSC: 03B60 03B50 03G10 × Cite Format Result Cite Review PDF Full Text: DOI
Plotkin, Gordon Three inadequate models. (English) Zbl 1001.68071 Formal Asp. Comput. 13, No. 3-5, 364-385 (2002). MSC: 68Q55 × Cite Format Result Cite Review PDF Full Text: DOI
Baratella, Stefano; Berardi, Stefano Constructivization via approximations and examples. (English) Zbl 0937.03064 Takahashi, Masako (ed.) et al., Theories of types and proofs. Based on the workshop, Tokyo, Japan, September 1997. Tokyo: Mathematical Society of Japan. MSJ Mem. 2, 177-205 (1998). Reviewer: T.Coquand (Göteborg) MSC: 03F10 03F50 03F03 03F07 × Cite Format Result Cite Review PDF
Feferman, Solomon Kreisel’s “unwinding” program. (English) Zbl 0889.03045 Odifreddi, Piergiorgio (ed.), Kreiseliana: about and around Georg Kreisel. Wellesley, MA: A K Peters. 247-273 (1996). Reviewer: V.Peckhaus (Erlangen) MSC: 03F03 03F65 03A05 × Cite Format Result Cite Review PDF