Harrison-Trainor, Matthew; Kulshreshtha, Dhruv The logic of cardinality comparison without the axiom of choice. (English) Zbl 07978964 Ann. Pure Appl. Logic 176, No. 4, Article ID 103549, 22 p. (2025). MSC: 03E10 03G05 03B60 03C30 06E25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Ibeling, Duligur; Icard, Thomas; Mierzewski, Krzysztof; Mossé, Milan Probing the quantitative-qualitative divide in probabilistic reasoning. (English) Zbl 07870391 Ann. Pure Appl. Logic 175, No. 9, Article ID 103339, 45 p. (2024). MSC: 03A05 03B48 68Q19 60A05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
van Benthem, Johan; Icard, Thomas Interleaving logic and counting. (English) Zbl 07808884 Bull. Symb. Log. 29, No. 4, 503-587 (2023). MSC: 03A05 03B45 03B65 03B70 × Cite Format Result Cite Review PDF Full Text: DOI
Marković, Zoran; Rašković, Miodrag Some new probability operators. (English) Zbl 1535.03147 Ognjanović, Zoran (ed.), Probabilistic extensions of various logical systems. Cham: Springer. 143-163 (2020). MSC: 03B48 60A05 × Cite Format Result Cite Review PDF Full Text: DOI
Ognjanović, Zoran; Ilić-Stepić, Angelina Logics with probability operators. (English) Zbl 1535.03148 Ognjanović, Zoran (ed.), Probabilistic extensions of various logical systems. Cham: Springer. 1-35 (2020). MSC: 03B48 × Cite Format Result Cite Review PDF Full Text: DOI
Ding, Yifeng; Harrison-Trainor, Matthew; Holliday, Wesley H. The logic of comparative cardinality. (English) Zbl 1485.03064 J. Symb. Log. 85, No. 3, 972-1005 (2020). MSC: 03B60 03E10 03G05 03B48 03B25 × Cite Format Result Cite Review PDF Full Text: DOI Link
Ciucci, Davide; Dubois, Didier A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information. (English) Zbl 1456.68186 Int. J. Approx. Reasoning 106, 107-127 (2019). MSC: 68T27 68T37 × Cite Format Result Cite Review PDF Full Text: DOI Link