Dicher, Bogdan Requiem for logical nihilism, or: logical nihilism annihilated. (English) Zbl 1507.03014 Synthese 198, No. 8, 7073-7096 (2021). MSC: 03A05 PDFBibTeX XMLCite \textit{B. Dicher}, Synthese 198, No. 8, 7073--7096 (2021; Zbl 1507.03014) Full Text: DOI
Pambuccian, Victor Prolegomena to any theory of proof simplicity. (English) Zbl 1441.03007 Philos. Trans. R. Soc. Lond., A, Math. Phys. Eng. Sci. 377, No. 2140, Article ID 20180035, 15 p. (2019). Reviewer: Teun Koetsier (Amsterdam) MSC: 03A05 03B30 01A05 03F20 PDFBibTeX XMLCite \textit{V. Pambuccian}, Philos. Trans. R. Soc. Lond., A, Math. Phys. Eng. Sci. 377, No. 2140, Article ID 20180035, 15 p. (2019; Zbl 1441.03007) Full Text: DOI
Pambuccian, Victor; Struve, Horst; Struve, Rolf Metric geometries in an axiomatic perspective. (English) Zbl 1386.03005 Ji, Lizhen (ed.) et al., From Riemann to differential geometry and relativity. Cham: Springer (ISBN 978-3-319-60038-3/hbk; 978-3-319-60039-0/ebook). 413-455 (2017). Reviewer: Jeremy Gray (London) MSC: 03-03 03A05 PDFBibTeX XMLCite \textit{V. Pambuccian} et al., in: From Riemann to differential geometry and relativity. Cham: Springer. 413--455 (2017; Zbl 1386.03005) Full Text: DOI
Eklund, Matti Multitude, tolerance and language-transcendence. (English) Zbl 1275.03025 Synthese 187, No. 3, 833-847 (2012). MSC: 03A05 03-03 PDFBibTeX XMLCite \textit{M. Eklund}, Synthese 187, No. 3, 833--847 (2012; Zbl 1275.03025) Full Text: DOI
Pambuccian, Victor The axiomatics of ordered geometry: I. Ordered incidence spaces. (English) Zbl 1227.51010 Expo. Math. 29, No. 1, 24-66 (2011). Reviewer: Norbert Knarr (Gießen) MSC: 51G05 01A60 52A01 03B30 PDFBibTeX XMLCite \textit{V. Pambuccian}, Expo. Math. 29, No. 1, 24--66 (2011; Zbl 1227.51010) Full Text: DOI
Sauchelli, Andrea Concrete possible worlds and counterfactual conditionals: Lewis versus Williamson on modal knowledge. (English) Zbl 1214.03006 Synthese 176, No. 3, 345-359 (2010). MSC: 03A05 03A10 PDFBibTeX XMLCite \textit{A. Sauchelli}, Synthese 176, No. 3, 345--359 (2010; Zbl 1214.03006) Full Text: DOI
Robaldo, Livio Independent set readings and generalized quantifiers. (English) Zbl 1209.03022 J. Philos. Log. 39, No. 1, 23-58 (2010). Reviewer: Neculai Curteanu (Iaşi) MSC: 03B65 03B53 03C80 PDFBibTeX XMLCite \textit{L. Robaldo}, J. Philos. Log. 39, No. 1, 23--58 (2010; Zbl 1209.03022) Full Text: DOI
Linnebo, Øystein Bad company tamed. (English) Zbl 1180.03007 Synthese 170, No. 3, 371-391 (2009). Reviewer: Victor V. Pambuccian (Phoenix) MSC: 03A05 00A30 PDFBibTeX XMLCite \textit{Ø. Linnebo}, Synthese 170, No. 3, 371--391 (2009; Zbl 1180.03007) Full Text: DOI
Robaldo, Livio Skolem theory and generalized quantifiers. (English) Zbl 1155.03305 Hodges, Wilfrid (ed.) et al., Logic, language, information and computation. 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1–4, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-69936-1/pbk). Lecture Notes in Computer Science 5110. Lecture Notes in Artificial Intelligence, 286-297 (2008). MSC: 03B65 PDFBibTeX XMLCite \textit{L. Robaldo}, Lect. Notes Comput. Sci. 5110, 286--297 (2008; Zbl 1155.03305) Full Text: DOI