Kripke, Saul A. Gödel’s theorem and direct self-reference. (English) Zbl 07689504 Rev. Symb. Log. 16, No. 2, 650-654 (2023). MSC: 03-03 03B10 PDF BibTeX XML Cite \textit{S. A. Kripke}, Rev. Symb. Log. 16, No. 2, 650--654 (2023; Zbl 07689504) Full Text: DOI arXiv OpenURL
Indrzejczak, Andrzej Russellian definite description theory – a proof theoretic approach. (English) Zbl 07689503 Rev. Symb. Log. 16, No. 2, 624-649 (2023). MSC: 03F03 03F05 03A05 03B10 PDF BibTeX XML Cite \textit{A. Indrzejczak}, Rev. Symb. Log. 16, No. 2, 624--649 (2023; Zbl 07689503) Full Text: DOI OpenURL
Elgin, Samuel Z. The semantic foundations of philosophical analysis. (English) Zbl 07689502 Rev. Symb. Log. 16, No. 2, 603-623 (2023). MSC: 03A05 03B47 PDF BibTeX XML Cite \textit{S. Z. Elgin}, Rev. Symb. Log. 16, No. 2, 603--623 (2023; Zbl 07689502) Full Text: DOI OpenURL
Bonnay, Denis; Westerståhl, Dag Carnap’s problem for modal logic. (English) Zbl 07689501 Rev. Symb. Log. 16, No. 2, 578-602 (2023). MSC: 03A05 03B45 PDF BibTeX XML Cite \textit{D. Bonnay} and \textit{D. Westerståhl}, Rev. Symb. Log. 16, No. 2, 578--602 (2023; Zbl 07689501) Full Text: DOI OpenURL
Stafford, Will The potential in Frege’s theorem. (English) Zbl 07689500 Rev. Symb. Log. 16, No. 2, 553-577 (2023). MSC: 03-02 00A30 03B16 03B45 PDF BibTeX XML Cite \textit{W. Stafford}, Rev. Symb. Log. 16, No. 2, 553--577 (2023; Zbl 07689500) Full Text: DOI arXiv OpenURL
Marti, Johannes Conditional logic is complete for convexity in the plane. (English) Zbl 07689499 Rev. Symb. Log. 16, No. 2, 529-552 (2023). MSC: 03B45 PDF BibTeX XML Cite \textit{J. Marti}, Rev. Symb. Log. 16, No. 2, 529--552 (2023; Zbl 07689499) Full Text: DOI arXiv OpenURL
Gruszczyński, Rafał; Pietruszczak, Andrzej Grzegorczyk points and filters in Boolean contact algebras. (English) Zbl 07689498 Rev. Symb. Log. 16, No. 2, 509-528 (2023). MSC: 06E25 03G05 06E15 PDF BibTeX XML Cite \textit{R. Gruszczyński} and \textit{A. Pietruszczak}, Rev. Symb. Log. 16, No. 2, 509--528 (2023; Zbl 07689498) Full Text: DOI OpenURL
Tatton-Brown, Oliver Rigour and proof. (English) Zbl 07689497 Rev. Symb. Log. 16, No. 2, 480-508 (2023). MSC: 00A30 00A35 03A05 PDF BibTeX XML Cite \textit{O. Tatton-Brown}, Rev. Symb. Log. 16, No. 2, 480--508 (2023; Zbl 07689497) Full Text: DOI OpenURL
Pavlović, Edi; Gratzl, Norbert Abstract forms of quantification in the quantified argument calculus. (English) Zbl 07689496 Rev. Symb. Log. 16, No. 2, 449-479 (2023). MSC: 03F05 03B10 03B65 PDF BibTeX XML Cite \textit{E. Pavlović} and \textit{N. Gratzl}, Rev. Symb. Log. 16, No. 2, 449--479 (2023; Zbl 07689496) Full Text: DOI OpenURL
Fischer, Martin; Nicolai, Carlo; Dopico, Pablo Nonclassical truth with classical strength. A proof-theoretic analysis of compositional truth over hype. (English) Zbl 07689495 Rev. Symb. Log. 16, No. 2, 425-448 (2023). MSC: 03F03 03B60 03F25 03B50 PDF BibTeX XML Cite \textit{M. Fischer} et al., Rev. Symb. Log. 16, No. 2, 425--448 (2023; Zbl 07689495) Full Text: DOI arXiv OpenURL
Grabmayr, Balthasar; Visser, Albert Self-reference upfront: a study of self-referential Gödel numberings. (English) Zbl 07689494 Rev. Symb. Log. 16, No. 2, 385-424 (2023). MSC: 03A05 03F30 03F40 PDF BibTeX XML Cite \textit{B. Grabmayr} and \textit{A. Visser}, Rev. Symb. Log. 16, No. 2, 385--424 (2023; Zbl 07689494) Full Text: DOI arXiv OpenURL
Hodges, Wilfrid A correctness proof for Al-Barakāt’s logical diagrams. (English) Zbl 07689493 Rev. Symb. Log. 16, No. 2, 369-384 (2023). MSC: 01A30 03B25 PDF BibTeX XML Cite \textit{W. Hodges}, Rev. Symb. Log. 16, No. 2, 369--384 (2023; Zbl 07689493) Full Text: DOI OpenURL
Rad, Soroush Rafiee Probabilistic entailment on first order languages and reasoning with inconsistencies. (English) Zbl 07689492 Rev. Symb. Log. 16, No. 2, 351-368 (2023). MSC: 03-02 03B42 03B48 PDF BibTeX XML Cite \textit{S. R. Rad}, Rev. Symb. Log. 16, No. 2, 351--368 (2023; Zbl 07689492) Full Text: DOI OpenURL
Siskind, Benjamin; Mancosu, Paolo; Shapiro, Stewart A note on choice principles in second-order logic. (English) Zbl 07689491 Rev. Symb. Log. 16, No. 2, 339-350 (2023). MSC: 03B16 03E25 03E70 PDF BibTeX XML Cite \textit{B. Siskind} et al., Rev. Symb. Log. 16, No. 2, 339--350 (2023; Zbl 07689491) Full Text: DOI OpenURL
Dinis, Bruno; Gaspar, Jaime Hardwiring truth in functional interpretations. (English) Zbl 07689242 Port. Math. 80, No. 1-2, 81-105 (2023). MSC: 03F25 03B20 03F10 03F35 11U10 PDF BibTeX XML Cite \textit{B. Dinis} and \textit{J. Gaspar}, Port. Math. 80, No. 1--2, 81--105 (2023; Zbl 07689242) Full Text: DOI OpenURL
Shallit, Jeffrey; Shan, Sonja Linghui; Yang, Kai Hsiang Automatic sequences in negative bases and proofs of some conjectures of Shevelev. (English) Zbl 07689051 RAIRO, Theor. Inform. Appl. 57, Paper No. 4, 22 p. (2023). MSC: 68R15 11B85 11A63 68Q45 03D05 PDF BibTeX XML Cite \textit{J. Shallit} et al., RAIRO, Theor. Inform. Appl. 57, Paper No. 4, 22 p. (2023; Zbl 07689051) Full Text: DOI arXiv OpenURL
Currie, James; Ochem, Pascal; Rampersad, Narad; Shallit, Jeffrey Properties of a ternary infinite word. (English) Zbl 07689048 RAIRO, Theor. Inform. Appl. 57, Paper No. 1, 17 p. (2023). MSC: 11B85 68R15 03D05 68Q45 PDF BibTeX XML Cite \textit{J. Currie} et al., RAIRO, Theor. Inform. Appl. 57, Paper No. 1, 17 p. (2023; Zbl 07689048) Full Text: DOI arXiv OpenURL
Yandutov, A. V.; Loukachevitch, N. V. Approaches to relation extraction for nested named entities. (English) Zbl 07688810 Lobachevskii J. Math. 44, No. 1, 249-258 (2023). MSC: 68-XX 03-XX PDF BibTeX XML Cite \textit{A. V. Yandutov} and \textit{N. V. Loukachevitch}, Lobachevskii J. Math. 44, No. 1, 249--258 (2023; Zbl 07688810) Full Text: DOI OpenURL
Stupnikov, S. A. Query-driven verification of data integration in the RDF data model. (English) Zbl 07688806 Lobachevskii J. Math. 44, No. 1, 205-218 (2023). MSC: 68-XX 03-XX PDF BibTeX XML Cite \textit{S. A. Stupnikov}, Lobachevskii J. Math. 44, No. 1, 205--218 (2023; Zbl 07688806) Full Text: DOI OpenURL
Kalinin, N. A.; Skvortsov, N. A. Difficulties of FAIR principles implementation in cross-domain research infrastructures. (English) Zbl 07688800 Lobachevskii J. Math. 44, No. 1, 147-156 (2023). MSC: 68-XX 03-XX PDF BibTeX XML Cite \textit{N. A. Kalinin} and \textit{N. A. Skvortsov}, Lobachevskii J. Math. 44, No. 1, 147--156 (2023; Zbl 07688800) Full Text: DOI OpenURL
Rimatskii, Vitalii V. Explicit basis for admissible rules in \(K\)-saturated tabular logics. (English. Russian original) Zbl 07688763 Discrete Math. Appl. 33, No. 2, 105-115 (2023); translation from Diskretn. Mat. 34, No. 1, 126-140 (2022). MSC: 03Bxx 03-XX 03Gxx PDF BibTeX XML Cite \textit{V. V. Rimatskii}, Discrete Math. Appl. 33, No. 2, 105--115 (2023; Zbl 07688763); translation from Diskretn. Mat. 34, No. 1, 126--140 (2022) Full Text: DOI OpenURL
Shelah, Saharon Canonical universal locally finite groups. (English) Zbl 07688316 Rend. Semin. Mat. Univ. Padova 149, 25-44 (2023). MSC: 20A10 20F50 03C60 20A15 PDF BibTeX XML Cite \textit{S. Shelah}, Rend. Semin. Mat. Univ. Padova 149, 25--44 (2023; Zbl 07688316) Full Text: DOI arXiv OpenURL
Goldbring, Isaac Non-embeddable \(\mathrm{II}_1\) factors resembling the hyperfinite \(\mathrm{II}_1\) factor. (English) Zbl 07687936 J. Noncommut. Geom. 17, No. 1, 233-239 (2023). MSC: 46L36 46L10 03C66 03C25 PDF BibTeX XML Cite \textit{I. Goldbring}, J. Noncommut. Geom. 17, No. 1, 233--239 (2023; Zbl 07687936) Full Text: DOI arXiv OpenURL
Majid, Shahn Quantum geometry of Boolean algebras and de Morgan duality. (English) Zbl 07687930 J. Noncommut. Geom. 17, No. 1, 37-79 (2023). MSC: 03G05 52C99 58B32 83C65 PDF BibTeX XML Cite \textit{S. Majid}, J. Noncommut. Geom. 17, No. 1, 37--79 (2023; Zbl 07687930) Full Text: DOI arXiv OpenURL
Yao, W.; Zhang, G. X.; Shi, Y. Type-2 lattice-valued preorders: a common framework of lattice-valued preorders and various kinds of metrics. (English) Zbl 07687873 Iran. J. Fuzzy Syst. 20, No. 3, 191-203 (2023). MSC: 54Exx 54Axx 03Exx PDF BibTeX XML Cite \textit{W. Yao} et al., Iran. J. Fuzzy Syst. 20, No. 3, 191--203 (2023; Zbl 07687873) Full Text: DOI OpenURL
Wu, J. C.; Li, H. F.; Liu, X. Y. Probabilistic fuzzy argumentation frameworks with finite fuzzy statuses. (English) Zbl 07687872 Iran. J. Fuzzy Syst. 20, No. 3, 177-189 (2023). MSC: 68Txx 03Bxx 91Bxx PDF BibTeX XML Cite \textit{J. C. Wu} et al., Iran. J. Fuzzy Syst. 20, No. 3, 177--189 (2023; Zbl 07687872) Full Text: DOI OpenURL
Esfahani, M.; Amini, M.; Mohtashami-Borzadaran, G. R.; Dolati, A. A new copula-based bivariate Gompertz-Makeham model and its application to COVID-19 mortality data. (English) Zbl 07687871 Iran. J. Fuzzy Syst. 20, No. 3, 159-175 (2023). MSC: 62Hxx 62Nxx 03Bxx PDF BibTeX XML Cite \textit{M. Esfahani} et al., Iran. J. Fuzzy Syst. 20, No. 3, 159--175 (2023; Zbl 07687871) Full Text: DOI OpenURL
Zhu, Y.; Wang, G. X.; Li, C. J. Weighted approximation of fuzzy numbers by using \(m-n\)-step type fuzzy number. (English) Zbl 07687870 Iran. J. Fuzzy Syst. 20, No. 3, 147-158 (2023). MSC: 03Exx 68Txx 65Lxx PDF BibTeX XML Cite \textit{Y. Zhu} et al., Iran. J. Fuzzy Syst. 20, No. 3, 147--158 (2023; Zbl 07687870) Full Text: DOI OpenURL
Das, S.; Chakraborty, D.; Kóczy, L. T. Forward and backward fuzzy rule base interpolation using fuzzy geometry. (English) Zbl 07687869 Iran. J. Fuzzy Syst. 20, No. 3, 127-146 (2023). MSC: 68Txx 93Cxx 03Bxx PDF BibTeX XML Cite \textit{S. Das} et al., Iran. J. Fuzzy Syst. 20, No. 3, 127--146 (2023; Zbl 07687869) Full Text: DOI OpenURL
Wu, B.; Zhou, H. A new extension of a triangular norm on a subinterval \([0,\alpha]\) via an interior operator to the underlying entire bounded lattice. (English) Zbl 07687867 Iran. J. Fuzzy Syst. 20, No. 3, 95-113 (2023). MSC: 03Exx 03Bxx 06Bxx PDF BibTeX XML Cite \textit{B. Wu} and \textit{H. Zhou}, Iran. J. Fuzzy Syst. 20, No. 3, 95--113 (2023; Zbl 07687867) Full Text: DOI OpenURL
Ma, L. W.; Gao, Q.; Shi, X. Y.; Zhao, X. C. Fuzzy accompanied approximation space under fuzzy relation. (English) Zbl 07687866 Iran. J. Fuzzy Syst. 20, No. 3, 75-94 (2023). MSC: 68Txx 03Exx 34Kxx PDF BibTeX XML Cite \textit{L. W. Ma} et al., Iran. J. Fuzzy Syst. 20, No. 3, 75--94 (2023; Zbl 07687866) Full Text: DOI OpenURL
Aggarwal, M.; Tehrani, A. F. Heuristics-based modelling of human decision process. (English) Zbl 07687862 Iran. J. Fuzzy Syst. 20, No. 3, 19-30 (2023). MSC: 91Bxx 90Bxx 03Exx PDF BibTeX XML Cite \textit{M. Aggarwal} and \textit{A. F. Tehrani}, Iran. J. Fuzzy Syst. 20, No. 3, 19--30 (2023; Zbl 07687862) Full Text: DOI OpenURL
Khastan, A.; Rodríguez-López, R. Some aspects on computation of scalar valued and fuzzy valued integrals over fuzzy domains. (English) Zbl 07687861 Iran. J. Fuzzy Syst. 20, No. 3, 1-17 (2023). MSC: 28Exx 26Exx 03Exx PDF BibTeX XML Cite \textit{A. Khastan} and \textit{R. Rodríguez-López}, Iran. J. Fuzzy Syst. 20, No. 3, 1--17 (2023; Zbl 07687861) Full Text: DOI OpenURL
Rezaeifar, M. R.; Zare Mehrjerdi, M. R.; Nezamabadi-Pour, H.; Mehrabi Boshr Abadi, H. Designing a sustainable development model for agricultural sector under critical circumstances (COVID-19 Pandemic): a fuzzy approach. (English) Zbl 07687857 Iran. J. Fuzzy Syst. 20, No. 2, 173-200 (2023). MSC: 91Bxx 90Bxx 03Exx PDF BibTeX XML Cite \textit{M. R. Rezaeifar} et al., Iran. J. Fuzzy Syst. 20, No. 2, 173--200 (2023; Zbl 07687857) Full Text: DOI OpenURL
Qiao, J. Restricted equivalence functions induced from fuzzy implication functions. (English) Zbl 07687854 Iran. J. Fuzzy Syst. 20, No. 2, 151-160 (2023). MSC: 03Exx 68Txx 91Bxx PDF BibTeX XML Cite \textit{J. Qiao}, Iran. J. Fuzzy Syst. 20, No. 2, 151--160 (2023; Zbl 07687854) Full Text: DOI OpenURL
Baek, J. I.; Borumand, Saeid A.; Han, S. H.; Hur, K. Some aggregation operators for IVI-octahedron sets and their application to MCDGM. (English) Zbl 07687853 Iran. J. Fuzzy Syst. 20, No. 2, 135-149 (2023). MSC: 03Exx 68Txx 91Bxx PDF BibTeX XML Cite \textit{J. I. Baek} et al., Iran. J. Fuzzy Syst. 20, No. 2, 135--149 (2023; Zbl 07687853) Full Text: DOI OpenURL
Jangizehi, M.; Rasouli Kenari, A.; Hosseinkhani, J. Proper process selection during flight schedule disruption using a fuzzy multi-criteria decision-making expert system. (English) Zbl 07687852 Iran. J. Fuzzy Syst. 20, No. 2, 121-133 (2023). MSC: 03Exx 91Bxx PDF BibTeX XML Cite \textit{M. Jangizehi} et al., Iran. J. Fuzzy Syst. 20, No. 2, 121--133 (2023; Zbl 07687852) Full Text: DOI OpenURL
Zhang, T. H.; Qin, F.; Wan, J.; Hu, Q. M. The distributivity characterization of idempotent null-uninorms over two special aggregation operators. (English) Zbl 07687851 Iran. J. Fuzzy Syst. 20, No. 2, 103-119 (2023). MSC: 03Exx 68Txx 91Bxx PDF BibTeX XML Cite \textit{T. H. Zhang} et al., Iran. J. Fuzzy Syst. 20, No. 2, 103--119 (2023; Zbl 07687851) Full Text: DOI OpenURL
Saha, A.; Mishra, A. R.; Rani, P.; Senapati, T.; Yager, R. R. A dual probabilistic linguistic MARCOS approach based on generalized Dombi operator for decision-making. (English) Zbl 07687850 Iran. J. Fuzzy Syst. 20, No. 2, 83-102 (2023). MSC: 91Bxx 03Exx 90Bxx PDF BibTeX XML Cite \textit{A. Saha} et al., Iran. J. Fuzzy Syst. 20, No. 2, 83--102 (2023; Zbl 07687850) Full Text: DOI OpenURL
Liu, S. P.; Qin, F. Conditional distributivity of continuous triangular norms over 2-uninorms. (English) Zbl 07687849 Iran. J. Fuzzy Syst. 20, No. 2, 69-82 (2023). MSC: 03Exx 91Bxx 03Bxx PDF BibTeX XML Cite \textit{S. P. Liu} and \textit{F. Qin}, Iran. J. Fuzzy Syst. 20, No. 2, 69--82 (2023; Zbl 07687849) Full Text: DOI OpenURL
Pak, U. S.; Kim, Y. N.; Kim, J. Y.; Ri, J. S. A controller design and analysis using asymmetry triangular cloud models. (English) Zbl 07687847 Iran. J. Fuzzy Syst. 20, No. 2, 33-55 (2023). MSC: 93Cxx 03Exx 93Axx PDF BibTeX XML Cite \textit{U. S. Pak} et al., Iran. J. Fuzzy Syst. 20, No. 2, 33--55 (2023; Zbl 07687847) Full Text: DOI OpenURL
Ghodousian, A.; Yousefi, F. S. Linear optimization problem subjected to fuzzy relational equations and fuzzy constraints. (English) Zbl 07687845 Iran. J. Fuzzy Syst. 20, No. 2, 1-20 (2023). MSC: 90Cxx 03Exx 68Qxx PDF BibTeX XML Cite \textit{A. Ghodousian} and \textit{F. S. Yousefi}, Iran. J. Fuzzy Syst. 20, No. 2, 1--20 (2023; Zbl 07687845) Full Text: DOI OpenURL
Saghi, S.; Nazemi, A.; Effati, S.; Ranjbar, M. Simplex algorithm for hesitant fuzzy linear programming problem with hesitant cost coefficient. (English) Zbl 07687840 Iran. J. Fuzzy Syst. 20, No. 1, 137-152 (2023). MSC: 90Cxx 03Exx 68Txx PDF BibTeX XML Cite \textit{S. Saghi} et al., Iran. J. Fuzzy Syst. 20, No. 1, 137--152 (2023; Zbl 07687840) Full Text: DOI OpenURL
Zhang, Y. Q.; Liu, H. W. New constructions of lattice-valued quasi-overlap functions. (English) Zbl 07687838 Iran. J. Fuzzy Syst. 20, No. 1, 103-117 (2023). MSC: 68Txx 03Exx 91Bxx PDF BibTeX XML Cite \textit{Y. Q. Zhang} and \textit{H. W. Liu}, Iran. J. Fuzzy Syst. 20, No. 1, 103--117 (2023; Zbl 07687838) Full Text: DOI OpenURL
Zhao, R. R.; Luo, M. X.; Li, S. G.; Ma, L. N. A parametric similarity measure between picture fuzzy sets and its applications in multi-attribute decision-making. (English) Zbl 07687837 Iran. J. Fuzzy Syst. 20, No. 1, 87-102 (2023). MSC: 03Exx 68Txx 91Bxx PDF BibTeX XML Cite \textit{R. R. Zhao} et al., Iran. J. Fuzzy Syst. 20, No. 1, 87--102 (2023; Zbl 07687837) Full Text: DOI OpenURL
Ganie, A. H. A picture fuzzy distance measure and its application to pattern recognition problems. (English) Zbl 07687836 Iran. J. Fuzzy Syst. 20, No. 1, 71-85 (2023). MSC: 03Exx 91Bxx 90Cxx PDF BibTeX XML Cite \textit{A. H. Ganie}, Iran. J. Fuzzy Syst. 20, No. 1, 71--85 (2023; Zbl 07687836) Full Text: DOI OpenURL
Ibedou, I.; Abbas, S. E. Generalization of rough fuzzy sets based on a fuzzy ideal. (English) Zbl 07687833 Iran. J. Fuzzy Syst. 20, No. 1, 27-38 (2023). MSC: 54Axx 03Exx 68Txx PDF BibTeX XML Cite \textit{I. Ibedou} and \textit{S. E. Abbas}, Iran. J. Fuzzy Syst. 20, No. 1, 27--38 (2023; Zbl 07687833) Full Text: DOI OpenURL
Roshandel Tavana, N. The Craig interpolation property for rational Gödel logic. (English) Zbl 07687832 Iran. J. Fuzzy Syst. 20, No. 1, 19-25 (2023). MSC: 03Cxx 03Bxx 05Cxx PDF BibTeX XML Cite \textit{N. Roshandel Tavana}, Iran. J. Fuzzy Syst. 20, No. 1, 19--25 (2023; Zbl 07687832) Full Text: DOI OpenURL
Głodkowski, Damian A Banach space \(C(K)\) reading the dimension of \(K\). (English) Zbl 07687713 J. Funct. Anal. 285, No. 4, Article ID 109986, 32 p. (2023). MSC: 03E35 46E15 47L10 54F45 PDF BibTeX XML Cite \textit{D. Głodkowski}, J. Funct. Anal. 285, No. 4, Article ID 109986, 32 p. (2023; Zbl 07687713) Full Text: DOI arXiv OpenURL
Baldwin, John T. Strongly minimal Steiner systems. II: Coordinatization and quasigroups. (English) Zbl 07687678 Algebra Univers. 84, No. 2, Paper No. 20, 23 p. (2023). MSC: 03C05 08A05 05B05 03C35 PDF BibTeX XML Cite \textit{J. T. Baldwin}, Algebra Univers. 84, No. 2, Paper No. 20, 23 p. (2023; Zbl 07687678) Full Text: DOI arXiv OpenURL
Karabacak, Mesut Interval neutrosophic multi-criteria group decision-making based on Aczel-Alsina aggregation operators. (English) Zbl 07687535 Comput. Appl. Math. 42, No. 3, Paper No. 136, 36 p. (2023). MSC: 03E72 94D05 90B50 PDF BibTeX XML Cite \textit{M. Karabacak}, Comput. Appl. Math. 42, No. 3, Paper No. 136, 36 p. (2023; Zbl 07687535) Full Text: DOI OpenURL
Zhang, Shaoyu; Pang, Bin Overlap function-based amongness spaces. (English) Zbl 07687533 Comput. Appl. Math. 42, No. 3, Paper No. 134, 25 p. (2023). MSC: 03E72 52A01 PDF BibTeX XML Cite \textit{S. Zhang} and \textit{B. Pang}, Comput. Appl. Math. 42, No. 3, Paper No. 134, 25 p. (2023; Zbl 07687533) Full Text: DOI OpenURL
Liu, Peide; Ali, Zeeshan; Mahmood, Tahir Some Einstein interaction geometric aggregation operators based on improved operational laws of complex q-rung orthopair fuzzy set and their applications. (English) Zbl 07687530 Comput. Appl. Math. 42, No. 3, Paper No. 131, 26 p. (2023). MSC: 91B06 91B86 03E72 90B50 PDF BibTeX XML Cite \textit{P. Liu} et al., Comput. Appl. Math. 42, No. 3, Paper No. 131, 26 p. (2023; Zbl 07687530) Full Text: DOI OpenURL
Yankovskii, A. P. Modeling of heat transfer in composite bodies reinforced with tubes with swirlers through which a twisted liquid heat carrier moves in the turbulent mode. II: Model problem. (English. Ukrainian original) Zbl 07687354 J. Math. Sci., New York 272, No. 1, 176-184 (2023); translation from Mat. Metody Fiz.-Mekh. Polya 63, No. 2, 150-159 (2020). MSC: 65-XX 65Lxx 03Bxx PDF BibTeX XML Cite \textit{A. P. Yankovskii}, J. Math. Sci., New York 272, No. 1, 176--184 (2023; Zbl 07687354); translation from Mat. Metody Fiz.-Mekh. Polya 63, No. 2, 150--159 (2020) Full Text: DOI OpenURL
Juhász, István; Soukup, Lajos; Szentmiklóssy, Zoltán On resolvability of products. (English) Zbl 07687310 Fundam. Math. 260, No. 3, 281-295 (2023). MSC: 54A25 54A35 03E35 03E55 PDF BibTeX XML Cite \textit{I. Juhász} et al., Fundam. Math. 260, No. 3, 281--295 (2023; Zbl 07687310) Full Text: DOI arXiv OpenURL
Johnson, Will Type-definable NIP fields are Artin-Schreier closed. (English) Zbl 07687308 Fundam. Math. 260, No. 3, 251-261 (2023). MSC: 03C60 03C45 PDF BibTeX XML Cite \textit{W. Johnson}, Fundam. Math. 260, No. 3, 251--261 (2023; Zbl 07687308) Full Text: DOI arXiv OpenURL
Cox, Sean Filtration games and potentially projective modules. (English) Zbl 07687306 Fundam. Math. 260, No. 3, 199-232 (2023). MSC: 03E35 03E57 03E75 16D40 PDF BibTeX XML Cite \textit{S. Cox}, Fundam. Math. 260, No. 3, 199--232 (2023; Zbl 07687306) Full Text: DOI arXiv OpenURL
Lambie-Hanson, Chris A note on highly connected and well-connected Ramsey theory. (English) Zbl 07687305 Fundam. Math. 260, No. 2, 181-197 (2023). MSC: 03E02 03E35 05C63 PDF BibTeX XML Cite \textit{C. Lambie-Hanson}, Fundam. Math. 260, No. 2, 181--197 (2023; Zbl 07687305) Full Text: DOI arXiv OpenURL
Aguilera, J. P. Countable ordinals in indiscernibility spectra. (English) Zbl 07687302 Fundam. Math. 260, No. 2, 99-109 (2023). MSC: 03E10 03E15 03E45 03F15 PDF BibTeX XML Cite \textit{J. P. Aguilera}, Fundam. Math. 260, No. 2, 99--109 (2023; Zbl 07687302) Full Text: DOI OpenURL
Tserunyan, Anush Mixing and double recurrence in probability groups. (English) Zbl 07687301 Fundam. Math. 260, No. 1, 77-98 (2023). MSC: 37A15 22D40 22F10 03C20 05E16 28C10 37A25 20A15 PDF BibTeX XML Cite \textit{A. Tserunyan}, Fundam. Math. 260, No. 1, 77--98 (2023; Zbl 07687301) Full Text: DOI arXiv OpenURL
Kwela, Adam On a conjecture of Debs and Saint Raymond. (English) Zbl 07687300 Fundam. Math. 260, No. 1, 67-76 (2023). MSC: 03E05 03E15 54H05 26A03 PDF BibTeX XML Cite \textit{A. Kwela}, Fundam. Math. 260, No. 1, 67--76 (2023; Zbl 07687300) Full Text: DOI arXiv OpenURL
Golshani, Mohammad; Shelah, Saharon The Keisler-Shelah isomorphism theorem and the continuum hypothesis. (English) Zbl 07687299 Fundam. Math. 260, No. 1, 59-66 (2023). MSC: 03C20 03E35 PDF BibTeX XML Cite \textit{M. Golshani} and \textit{S. Shelah}, Fundam. Math. 260, No. 1, 59--66 (2023; Zbl 07687299) Full Text: DOI arXiv OpenURL
Smythe, Iian B. Filters on a countable vector space. (English) Zbl 07687298 Fundam. Math. 260, No. 1, 41-58 (2023). MSC: 03E05 15A03 PDF BibTeX XML Cite \textit{I. B. Smythe}, Fundam. Math. 260, No. 1, 41--58 (2023; Zbl 07687298) Full Text: DOI arXiv OpenURL
Brian, Will Covering versus partitioning with Polish spaces. (English) Zbl 07687297 Fundam. Math. 260, No. 1, 21-39 (2023). MSC: 54E35 03E05 03E55 PDF BibTeX XML Cite \textit{W. Brian}, Fundam. Math. 260, No. 1, 21--39 (2023; Zbl 07687297) Full Text: DOI arXiv OpenURL
Robert, Simon Strong orbit equivalence in Cantor dynamics and simple locally finite groups. (English) Zbl 07687296 Fundam. Math. 260, No. 1, 1-20 (2023). MSC: 37B02 03E15 PDF BibTeX XML Cite \textit{S. Robert}, Fundam. Math. 260, No. 1, 1--20 (2023; Zbl 07687296) Full Text: DOI arXiv OpenURL
Dow, Alan; Shelah, Saharon S-spaces and large continuum. (English) Zbl 07687166 Topology Appl. 333, Article ID 108526, 18 p. (2023). MSC: 54A35 03E35 PDF BibTeX XML Cite \textit{A. Dow} and \textit{S. Shelah}, Topology Appl. 333, Article ID 108526, 18 p. (2023; Zbl 07687166) Full Text: DOI arXiv OpenURL
Keremedis, Kyriakos; Tachtsis, Eleftherios; Wajch, Eliza Countable products and countable direct sums of compact metrizable spaces in the absence of the Axiom of Choice. (English) Zbl 07687150 Ann. Pure Appl. Logic 174, No. 7, Article ID 103283, 34 p. (2023). MSC: 03E25 03E35 54A35 54E35 54D30 54B10 PDF BibTeX XML Cite \textit{K. Keremedis} et al., Ann. Pure Appl. Logic 174, No. 7, Article ID 103283, 34 p. (2023; Zbl 07687150) Full Text: DOI arXiv OpenURL
Yao, Ningyuan; Zhang, Zhentao On minimal flows and definable amenability in some distal NIP theories. (English) Zbl 07687149 Ann. Pure Appl. Logic 174, No. 7, Article ID 103274, 20 p. (2023). MSC: 03C98 37B05 11E95 03C64 43A07 PDF BibTeX XML Cite \textit{N. Yao} and \textit{Z. Zhang}, Ann. Pure Appl. Logic 174, No. 7, Article ID 103274, 20 p. (2023; Zbl 07687149) Full Text: DOI arXiv OpenURL
Badia, Guillermo; Caicedo, Xavier; Noguera, Carles Frame definability in finitely valued modal logics. (English) Zbl 07687148 Ann. Pure Appl. Logic 174, No. 7, Article ID 103273, 13 p. (2023). MSC: 03B45 03B50 03B52 03D15 03G25 PDF BibTeX XML Cite \textit{G. Badia} et al., Ann. Pure Appl. Logic 174, No. 7, Article ID 103273, 13 p. (2023; Zbl 07687148) Full Text: DOI arXiv OpenURL
Brickhill, H.; Welch, P. D. Generalisations of stationarity, closed and unboundedness, and of Jensen’s \(\square\). (English) Zbl 07687147 Ann. Pure Appl. Logic 174, No. 7, Article ID 103272, 52 p. (2023). MSC: 03E45 03E05 03E10 03E65 PDF BibTeX XML Cite \textit{H. Brickhill} and \textit{P. D. Welch}, Ann. Pure Appl. Logic 174, No. 7, Article ID 103272, 52 p. (2023; Zbl 07687147) Full Text: DOI arXiv OpenURL
Kogure, Haruka; Kurahashi, Taishi Arithmetical completeness theorems for monotonic modal logics. (English) Zbl 07687146 Ann. Pure Appl. Logic 174, No. 7, Article ID 103271, 26 p. (2023). MSC: 03F45 03B45 03F40 PDF BibTeX XML Cite \textit{H. Kogure} and \textit{T. Kurahashi}, Ann. Pure Appl. Logic 174, No. 7, Article ID 103271, 26 p. (2023; Zbl 07687146) Full Text: DOI arXiv OpenURL
Soldà, Giovanni; Valenti, Manlio Algebraic properties of the first-order part of a problem. (English) Zbl 07687145 Ann. Pure Appl. Logic 174, No. 7, Article ID 103270, 41 p. (2023). MSC: 03D78 03D30 03D55 03D99 PDF BibTeX XML Cite \textit{G. Soldà} and \textit{M. Valenti}, Ann. Pure Appl. Logic 174, No. 7, Article ID 103270, 41 p. (2023; Zbl 07687145) Full Text: DOI arXiv OpenURL
Kişi, Ömer; Choudhury, Chiranjib Rough statistical convergence of sequences in gradual normed linear spaces. (English) Zbl 07687049 J. Anal. 31, No. 2, 1511-1525 (2023). MSC: 03E72 40A35 40A05 PDF BibTeX XML Cite \textit{Ö. Kişi} and \textit{C. Choudhury}, J. Anal. 31, No. 2, 1511--1525 (2023; Zbl 07687049) Full Text: DOI OpenURL
Fang, Wenjie Bijections between planar maps and planar linear normal \(\lambda\)-terms with connectivity condition. (English) Zbl 07686838 Adv. Appl. Math. 148, Article ID 102532, 22 p. (2023). MSC: 68R05 05A19 05A15 03B47 PDF BibTeX XML Cite \textit{W. Fang}, Adv. Appl. Math. 148, Article ID 102532, 22 p. (2023; Zbl 07686838) Full Text: DOI arXiv OpenURL
Sauras-Altuzarra, Lorenzo Correction to: “Some applications of Baaz’s generalization method to the study of the factors of Fermat numbers”. (English) Zbl 07686432 J. Log. Comput. 33, No. 3, 707 (2023). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{L. Sauras-Altuzarra}, J. Log. Comput. 33, No. 3, 707 (2023; Zbl 07686432) Full Text: DOI OpenURL
Faliszewski, Piotr; Gonen, Rica; Koutecký, Martin; Talmon, Nimrod Correction to: “Opinion diffusion and campaigning on society graphs”. (English) Zbl 07686431 J. Log. Comput. 33, No. 3, 706 (2023). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{P. Faliszewski} et al., J. Log. Comput. 33, No. 3, 706 (2023; Zbl 07686431) Full Text: DOI OpenURL
Besnard, Philippe; Doutre, Sylvie; Duchatelle, Théo; Lagasquie-Schiex, Marie-Christine Generic logical encoding for argumentation. (English) Zbl 07686429 J. Log. Comput. 33, No. 3, 623-704 (2023). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{P. Besnard} et al., J. Log. Comput. 33, No. 3, 623--704 (2023; Zbl 07686429) Full Text: DOI OpenURL
Baldi, Paolo; Hosni, Hykel A logic-based tractable approximation of probability. (English) Zbl 07686428 J. Log. Comput. 33, No. 3, 599-622 (2023). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{P. Baldi} and \textit{H. Hosni}, J. Log. Comput. 33, No. 3, 599--622 (2023; Zbl 07686428) Full Text: DOI arXiv OpenURL
Zhao, Zhiguang Sahlqvist correspondence theory for second-order propositional modal logic. (English) Zbl 07686427 J. Log. Comput. 33, No. 3, 577-598 (2023). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{Z. Zhao}, J. Log. Comput. 33, No. 3, 577--598 (2023; Zbl 07686427) Full Text: DOI arXiv OpenURL
Baratella, Stefano A finitary outer measure logic. (English) Zbl 07686426 J. Log. Comput. 33, No. 3, 564-576 (2023). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{S. Baratella}, J. Log. Comput. 33, No. 3, 564--576 (2023; Zbl 07686426) Full Text: DOI OpenURL
Laurent, Dominique; Spyratos, Nicolas Deductive databases in four-valued logic: rule semantics and models. (English) Zbl 07686425 J. Log. Comput. 33, No. 3, 536-563 (2023). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{D. Laurent} and \textit{N. Spyratos}, J. Log. Comput. 33, No. 3, 536--563 (2023; Zbl 07686425) Full Text: DOI OpenURL
Ibrahim, Bechar; Abdelkader, Benyettou Contribution to decision-making in the big data industry based on the multiparametric similarity measure for Pythagorean fuzzy sets. (English) Zbl 07686424 J. Log. Comput. 33, No. 3, 517-535 (2023). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{B. Ibrahim} and \textit{B. Abdelkader}, J. Log. Comput. 33, No. 3, 517--535 (2023; Zbl 07686424) Full Text: DOI OpenURL
Majumder, Samit Kumar; Das, Parimal Complex fuzzy interior ideals of semigroups. (English) Zbl 07686324 Uzb. Math. J. 67, No. 1, 72-78 (2023). MSC: 08A72 20M12 03E72 PDF BibTeX XML Cite \textit{S. K. Majumder} and \textit{P. Das}, Uzb. Math. J. 67, No. 1, 72--78 (2023; Zbl 07686324) Full Text: DOI OpenURL
Kasymov, Nadimulla Khabibullaevich; Karimova, Nodira Ruzimat Finite \(\forall\)-definability and computability of data models. (English) Zbl 07686321 Uzb. Math. J. 67, No. 1, 47-51 (2023). MSC: 03D45 08A70 54A05 PDF BibTeX XML Cite \textit{N. K. Kasymov} and \textit{N. R. Karimova}, Uzb. Math. J. 67, No. 1, 47--51 (2023; Zbl 07686321) Full Text: DOI OpenURL
Ben-Neria, Omer; Gilton, Thomas Club stationary reflection and the special Aronszajn tree property. (English) Zbl 07686145 Can. J. Math. 75, No. 3, 854-911 (2023). MSC: 03E05 03E35 PDF BibTeX XML Cite \textit{O. Ben-Neria} and \textit{T. Gilton}, Can. J. Math. 75, No. 3, 854--911 (2023; Zbl 07686145) Full Text: DOI arXiv OpenURL
Pischke, Nicholas Quantitative results on algorithms for zeros of differences of monotone operators in Hilbert space. (English) Zbl 07685243 J. Convex Anal. 30, No. 1, 295-315 (2023). MSC: 47H05 47J25 03F10 47H09 PDF BibTeX XML Cite \textit{N. Pischke}, J. Convex Anal. 30, No. 1, 295--315 (2023; Zbl 07685243) Full Text: arXiv Link OpenURL
Avigad, Jeremy; Baek, Seulkee; Bentkamp, Alexander; Heule, Marijn; Nawrocki, Wojciech An impossible asylum. (English) Zbl 07684392 Am. Math. Mon. 130, No. 5, 446-453 (2023). MSC: 03-01 03B35 68V15 PDF BibTeX XML Cite \textit{J. Avigad} et al., Am. Math. Mon. 130, No. 5, 446--453 (2023; Zbl 07684392) Full Text: DOI arXiv OpenURL
Kumar, V. Venkata; Rao, Mukkamala Sambasiva; Vali, S. Kalesha Minimal prime filters of commutative \(BE\)-algebras. (English) Zbl 07683921 Algebr. Struct. Appl. 10, No. 1, 113-130 (2023). MSC: 03G25 PDF BibTeX XML Cite \textit{V. V. Kumar} et al., Algebr. Struct. Appl. 10, No. 1, 113--130 (2023; Zbl 07683921) Full Text: DOI OpenURL
Shaik, Manzoor Kaleem; Bandaru, Ravikumar; Mukkamala, Sambasiva Rao; Jun, Young Bae On GE-ideals of bordered GE-algebras. (English) Zbl 07683914 Algebr. Struct. Appl. 10, No. 1, 17-38 (2023). MSC: 03G25 06F35 PDF BibTeX XML Cite \textit{M. K. Shaik} et al., Algebr. Struct. Appl. 10, No. 1, 17--38 (2023; Zbl 07683914) Full Text: DOI OpenURL
Kryvyi, S.; Darchuk, N.; Skrypnyk, T. Analyzing natural languages: antimems, contradictions, and onthologies. (English. Ukrainian original) Zbl 07683866 Cybern. Syst. Anal. 59, No. 2, 177-189 (2023); translation from Kibern. Sist. Anal. 59, No. 2, 3-17 (2023). MSC: 03Bxx 68Txx 03-XX PDF BibTeX XML Cite \textit{S. Kryvyi} et al., Cybern. Syst. Anal. 59, No. 2, 177--189 (2023; Zbl 07683866); translation from Kibern. Sist. Anal. 59, No. 2, 3--17 (2023) Full Text: DOI OpenURL
Das, Subhashis; Mahato, Prasenjit; Mahato, Sanat Kumar A prey predator model in case of disease transmission via pest in uncertain environment. (English) Zbl 07682728 Differ. Equ. Dyn. Syst. 31, No. 2, 457-483 (2023). MSC: 92D25 92D30 03E72 34D23 PDF BibTeX XML Cite \textit{S. Das} et al., Differ. Equ. Dyn. Syst. 31, No. 2, 457--483 (2023; Zbl 07682728) Full Text: DOI OpenURL
Więckowski, Bartosz Negative predication and distinctness. (English) Zbl 07682170 Log. Univers. 17, No. 1, 103-138 (2023). MSC: 03B20 03F03 PDF BibTeX XML Cite \textit{B. Więckowski}, Log. Univers. 17, No. 1, 103--138 (2023; Zbl 07682170) Full Text: DOI OpenURL
Roy, Sayantan; Basu, Sankha S.; Chakraborty, Mihir K. Lindenbaum-type logical structures. (English) Zbl 07682169 Log. Univers. 17, No. 1, 69-102 (2023). MSC: 03B22 03B47 PDF BibTeX XML Cite \textit{S. Roy} et al., Log. Univers. 17, No. 1, 69--102 (2023; Zbl 07682169) Full Text: DOI arXiv OpenURL
Aiguier, Marc; Bloch, Isabelle Abstract categorical logic. (English) Zbl 07682168 Log. Univers. 17, No. 1, 23-67 (2023). MSC: 03G30 03C95 18B25 PDF BibTeX XML Cite \textit{M. Aiguier} and \textit{I. Bloch}, Log. Univers. 17, No. 1, 23--67 (2023; Zbl 07682168) Full Text: DOI OpenURL
Liao, Cheng Games and Lindström theorems. (English) Zbl 07682167 Log. Univers. 17, No. 1, 1-21 (2023). MSC: 03B10 03C95 PDF BibTeX XML Cite \textit{C. Liao}, Log. Univers. 17, No. 1, 1--21 (2023; Zbl 07682167) Full Text: DOI OpenURL
Frey, Jonas; Rasekh, Nima Constructing coproducts in locally Cartesian closed \(\infty\)-categories. (English) Zbl 07681895 Homology Homotopy Appl. 25, No. 1, 71-86 (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18B25 03G30 PDF BibTeX XML Cite \textit{J. Frey} and \textit{N. Rasekh}, Homology Homotopy Appl. 25, No. 1, 71--86 (2023; Zbl 07681895) Full Text: DOI arXiv OpenURL
Dong, Yanyan; Shi, Fu-Gui On weak convex MV-algebras. (English) Zbl 07681712 Commun. Algebra 51, No. 7, 2759-2778 (2023). MSC: 06D35 03G20 52A01 PDF BibTeX XML Cite \textit{Y. Dong} and \textit{F.-G. Shi}, Commun. Algebra 51, No. 7, 2759--2778 (2023; Zbl 07681712) Full Text: DOI OpenURL
Di Vincenzo, Silvia The missing logic: traces of a lost book on hypothetical syllogistic in Avicenna’s Risāla mūǧaza fī uṣūl al-manṭiq. (English. French summary) Zbl 07681392 Arab. Sci. Philos. 33, No. 1, 55-81 (2023). MSC: 01A30 03-03 PDF BibTeX XML Cite \textit{S. Di Vincenzo}, Arab. Sci. Philos. 33, No. 1, 55--81 (2023; Zbl 07681392) Full Text: DOI OpenURL
Sahu, Abhishek; Saurabh, Saket Kernelization of arc disjoint cycle packing in \(\alpha\)-bounded digraphs. (English) Zbl 07681305 Theory Comput. Syst. 67, No. 2, 221-233 (2023). MSC: 68Qxx 03Dxx 68-XX PDF BibTeX XML Cite \textit{A. Sahu} and \textit{S. Saurabh}, Theory Comput. Syst. 67, No. 2, 221--233 (2023; Zbl 07681305) Full Text: DOI OpenURL
Bandyopadhyay, Susmita Decision support system. Tools and techniques. (English) Zbl 07681229 Boca Raton, FL: CRC Press (ISBN 978-1-032-30992-7/hbk; 978-1-032-31022-0/pbk; 978-1-003-30765-5/ebook). (2023). MSC: 91-02 91B06 90B50 03B52 60J20 PDF BibTeX XML Full Text: DOI OpenURL