Amidei, Jacopo; Andrews, Uri; Pianigiani, Duccio; San Mauro, Luca; Sorbi, Andrea Trial and error mathematics: dialectical systems and completions of theories. (English) Zbl 1444.03142 J. Log. Comput. 29, No. 1, 157-184 (2019). MSC: 03D80 03A10 03A05 03D55 03F30 PDF BibTeX XML Cite \textit{J. Amidei} et al., J. Log. Comput. 29, No. 1, 157--184 (2019; Zbl 1444.03142) Full Text: DOI arXiv
Amidei, Jacopo; Pianigiani, Duccio Empirical nature of meta mathematics: the philosophy of mathematics of Roberto Magari. (Italian. English summary) Zbl 1402.03009 Mat. Cult. Soc., Riv. Unione Mat. Ital. (1) 1, No. 2, 145-159 (2016). MSC: 03-03 03A05 08-03 01A70 00A30 PDF BibTeX XML Cite \textit{J. Amidei} and \textit{D. Pianigiani}, Mat. Cult. Soc., Riv. Unione Mat. Ital. (1) 1, No. 2, 145--159 (2016; Zbl 1402.03009)
Amidei, Jacopo; Pianigiani, Duccio; San Mauro, Luca; Sorbi, Andrea Trial and error mathematics. II: Dialectical sets and quasidialectical sets, their degrees, and their distribution within the class of limit sets. (English) Zbl 1392.03017 Rev. Symb. Log. 9, No. 4, 810-835 (2016). MSC: 03A10 03A05 03D55 03D80 PDF BibTeX XML Cite \textit{J. Amidei} et al., Rev. Symb. Log. 9, No. 4, 810--835 (2016; Zbl 1392.03017) Full Text: DOI
Amidei, Jacopo; Pianigiani, Duccio; San Mauro, Luca; Simi, Giulia; Sorbi, Andrea Trial and error mathematics. I: Dialectical and quasidialectical systems. (English) Zbl 1384.03079 Rev. Symb. Log. 9, No. 2, 299-324 (2016). MSC: 03A10 03A05 03D55 03D80 PDF BibTeX XML Cite \textit{J. Amidei} et al., Rev. Symb. Log. 9, No. 2, 299--324 (2016; Zbl 1384.03079) Full Text: DOI
Montagna, Franco; Pianigiani, Duccio A short note on essentially \(\Sigma_1\) sentences. (English) Zbl 1270.03039 Log. Univers. 7, No. 1, 103-111 (2013). Reviewer: Mladen Vuković (Zagreb) MSC: 03B45 03F45 03F30 PDF BibTeX XML Cite \textit{F. Montagna} and \textit{D. Pianigiani}, Log. Univers. 7, No. 1, 103--111 (2013; Zbl 1270.03039) Full Text: DOI
de Jongh, Dick; Pianigiani, Duccio Solution of a problem of David Guaspari. (English) Zbl 0923.03025 Orłowska, Ewa (ed.), Logic at work. Essays dedicated to the memory of Helena Rasiowa. Heidelberg: Physica-Verlag. Stud. Fuzziness Soft Comput. 24, 246-254 (1999). Reviewer: Mladen Vuković (Zagreb) MSC: 03B45 03F30 PDF BibTeX XML Cite \textit{D. de Jongh} and \textit{D. Pianigiani}, Stud. Fuzziness Soft Comput. 24, 246--254 (1999; Zbl 0923.03025)