Skip to main content
SpringerLink
Log in

Model Theory of Subject Domains. I

  • Published:
Algebra and Logic Aims and scope

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. P. Archana and J. Sarika, “Formalisms of representing knowledge,” Procedia Comput. Sci., 125, 542-549 (2018).

    Article  Google Scholar 

  2. C. Naydanov, D. Palchunov, and P. Sazonova, “Development of automated methods for the critical condition risk prevention, based on the analysis of the knowledge obtained from patient medical records,” Proc. 2015 Int. Conf. Biomed. Eng. Comput. Tech. (SIBIRCON), Novosibirsk, Russia, October 28-30, 2015 (2015), pp. 33-38; https://doi.org/10.1109/SIBIRCON.2015.7361845

  3. Handbook on Ontologies, Int. Handbooks Inform. Syst., S. Staab and R. Studer (Eds.), Springer, Berlin (2004).

  4. D. E. Pal’chunov and G. È. Yakh’yaeva, “Interval fuzzy algebraic systems,” in Mathematical Logic in Asia, Proc. 9th Asian Logic Conf.’05 (Novosibirsk, Russia, August 16-19, 2005), World Scientific, Hackensack, NJ (2006), pp. 191-202; https://doi.org/10.1142/9789812772749_0014

  5. G. Yakhyaeva and V. Skokova, “Subjective expert evaluations in the model-theoretic representation of object domain knowledge,” in Lect. Notes Comput. Sci., LNAI, 12948 (2021), pp. 152-165.

  6. G. Yakhyaeva, “Fuzzy model truth values,” in Proc. 6th Conf. Appl. Math. (APLIMAT 2007), Bratislava, Slovakia, February 6-9, 2007 (2007), pp. 423-431.

  7. B. Ganter and R. Wille, Formal Concept Analysis. Mathematical Foundations, Springer, Berlin (1999).

  8. S. O. Kuznetsov and T. Makhalova, “On interestingness measures of formal concepts,” Inf. Sci., 442/443, 202-219 (2018).

  9. D. Palchunov and G. Yakhyaeva, “Application of boolean-valued models and FCA for the development of ontological models,” CEUR Workshop Proc., 1921, 77-87 (2017).

    Google Scholar 

  10. D. E. Palchunov and G. E. Yakhyaeva, “Integration of fuzzy model theory and FCA for big data mining,” Proc. 2019 Int. Multi-Conf. Eng., Comput. Inform. Sci. (SIBIRCON), Novosibirsk, Russia, October 21-27, 2019 (2019), pp. 961-966; https://doi.org/10.1109/SIBIRCON48586.2019.8958216

  11. D. E. Pal’chunov, “Lattices of relatively axiomatizable classes,” in Lect. Notes Comput. Sci., LNAI, 4390 (2007), pp. 221-239.

  12. G. Yakhyaeva and O. Yasinskaya, “An algorithm to compare computer-security knowledge from different sources,” in Proc. 17th Int. Conf. Enterprise Inform. Syst. (ICEIS 2015), Vol. 1 (2015), pp. 565-572.

  13. G. Yakhyaeva and A. Ershov, “Knowledge base system for risk analysis of the multi-step computer attacks,” in Proc. 18th Int. Conf. Enterprise Inf. Sys. (ICEIS 2016), Vol. 2 (2016), pp. 143-150.

  14. D. E. Palchunov, D. E. Tishkovsky, S. V. Tishkovskaya, and G. E. Yakhyaeva, “Combining logical and statistical rule reasoning and verification for medical applications,” in Int. Multi- Conf. Eng., Comput. Inform. Sci. (SIBIRCON), Novosibirsk, Russia, September 18-22, 2017 (2017), pp. 309-313; https://doi.org/10.1109/SIBIRCON.2017.8109895

  15. D. E. Pal’chunov, “Direct summands of Boolean algebras with distinguished ideals,” Algebra and Logic, 31, No. 5, 295-316 (1992).

  16. D. E. Palchunov and A. V. Trofimov, “Local and nonvanishing superatomic Boolean algebras with a distinguished dense subalgebra,” Algebra and Logic, 50, No. 6, 553-569 (2011).

    Article  MathSciNet  Google Scholar 

  17. D. E. Pal’chunov, A. V. Trofimov, and A. I. Turko, “Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals,” Sib. Math. J., 56, No. 3, 490-498 (2015).

Download references

Author information

Authors and Affiliations

  1. Sobolev Institute of Mathematics, Novosibirsk, Russia

    D. E. Palchunov

Authors
  1. D. E. Palchunov
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to D. E. Palchunov.

Additional information

Translated from Algebra i Logika, Vol. 61, No. 2, pp. 239-250, March-April, 2022. Russian DOI: https://doi.org/10.33048/alglog.2022.61.207.

Rights and permissions

Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Palchunov, D.E. Model Theory of Subject Domains. I. Algebra Logic 61, 166–173 (2022). https://doi.org/10.1007/s10469-022-09685-9

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10469-022-09685-9

Search

Navigation