Зображення обкладинки

The origin and interpretation of Kleene three-valued logics

Strong and weak three-valued Kleene logics are considered. The origin of strong logic from ordinary Boolean logic by application of generally valid construction of extension operations from elements on the sets of elements in terms of full image is shown. The compact representation of logic Kleene o...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2026
Автор:	Shishatska, O.V.
Формат:	Стаття
Мова:	Українська
Опубліковано:	PROBLEMS IN PROGRAMMING 2026
Теми:	UDC 681.3.062
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/867
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

Object-oriented database neodatis: installing, programming of queries, comparison with the relational data base
за авторством: Buy, D.B., та інші
Опубліковано: (2026)

General theoretical-set constructions of complete image, restriction, compatibility: properties and applications
за авторством: Buy, D.B., та інші
Опубліковано: (2026)

Recursive queries in SQL: samples, intensional and formal semantics
за авторством: Buy, D.B., та інші
Опубліковано: (2026)

Multisets: a bibliographic overview, construction of a lattice of multisets
за авторством: Bogatyreva, Yu.A.
Опубліковано: (2026)

Partial predicates logics induced Kleene&#039;s three-valued logics
за авторством: D. B. Buj, та інші
Опубліковано: (2015)

Relations of logical consequence in composition nominative logics
за авторством: Shkilnyak, S.S.
Опубліковано: (2025)

The algebro-logical approach to the analysis and processing of the text information
за авторством: Palagin, O.V., та інші
Опубліковано: (2026)

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
за авторством: Bača, J., та інші
Опубліковано: (2015)

Formal-logical approach to building analysis systems of knowledge in different domains
за авторством: Palagin, O.V., та інші
Опубліковано: (2026)

Semantic properties of composition nominative modal logics
за авторством: Shkilnyak, O.S.
Опубліковано: (2026)

Compositional-nominative modal logics of the functional-equational level
за авторством: Shkilniak, O.S.
Опубліковано: (2026)

Compositional logics of nominative data
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2015)

Service-oriented, distributed real-time systems in digital libraries
за авторством: Novitsky, O.V.
Опубліковано: (2025)

Facilities for service-oriented programming of parallel programs
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2026)

The approach of cluster system interfaces implementation
за авторством: Marianovskyi, V.A., та інші
Опубліковано: (2026)

Technological Model for the Process of Software Automated Production
за авторством: Slabospitska, O.O.
Опубліковано: (2025)

Development of a semantic and syntactic model of natural language by means of non-negative matrix and tensor factorization
за авторством: Marchenko, O.O.
Опубліковано: (2025)

Problems and tools of designing and estimation of viable program system
за авторством: Ignatenko, P.P., та інші
Опубліковано: (2015)

Axiomatic models and methods used to design of language translators
за авторством: Parasyuk, I.N., та інші
Опубліковано: (2015)

On some technology of project modeling of stochastic manufacturing technological processes
за авторством: Maksimey, I.V., та інші
Опубліковано: (2015)

Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2017)

An improvement for software families’ development with agile methodologies’ elements
за авторством: Koval, G.I., та інші
Опубліковано: (2026)

Financial and economic ontology of information storage
за авторством: Melashchenko, A.O., та інші
Опубліковано: (2026)

On application of machine-learning for designing adaptive sorting programs in algebra of algorithms
за авторством: Yatsenko, O.A.
Опубліковано: (2025)

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
за авторством: Yatsenko, O.A.
Опубліковано: (2025)

Programming gestures simulator with statistical modeling
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2017)

Formalized designing and generation of parallel program for numerical weather forecasting task
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Grid technologies for social network analysis
за авторством: Tkachenko, V.V.
Опубліковано: (2026)

Problem of reengineering of legacy-software systems
за авторством: Pashkovets, N.D., та інші
Опубліковано: (2026)

Multivariance of the notations of representation of algorithms of operation of software as path to their verification
за авторством: Alekseev, V.A., та інші
Опубліковано: (2026)

Iinterdepartmental is informational - telecommunication systems, as result of implementation of target programs, directed on exchange by information resources between departments
за авторством: Alekseev, V.A., та інші
Опубліковано: (2026)

Problem of automation of situational management of protection of zones of the responsibility
за авторством: Alekseev, V.A., та інші
Опубліковано: (2025)

One model of optimal resource allocation in homogeneous multiprocessor system
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Testing of interest to game
за авторством: Kozhaev, V.V.
Опубліковано: (2026)

AWP – instrument for project and programming complex systems on the base system analisys
за авторством: Antonov, V.M., та інші
Опубліковано: (2026)

Cyberakmeology concept and principles projection programm-technology systems
за авторством: Antonov, V.M., та інші
Опубліковано: (2026)

Estimation of reliability of modular software
за авторством: Antsypov, A.V., та інші
Опубліковано: (2026)

Methodology for developing an automated information system for the recording and forward planning of sanatorium, spa and rehabilitation treatment for victims
за авторством: Chadyuk, A.V., та інші
Опубліковано: (2026)

Design of ontological system of terms and their cognitive models in scientific research
за авторством: Rogushina, J.V., та інші
Опубліковано: (2026)

The registration and accounting of the information about events in specialized informational-telecommunication systems
за авторством: Alekseev, V.A., та інші
Опубліковано: (2025)