Buchumschlag

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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2026
1. Verfasser:	Shishatska, O.V.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2026
Schlagworte:	UDC 681.3.062
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/867
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Object-oriented database neodatis: installing, programming of queries, comparison with the relational data base
von: Buy, D.B., et al.
Veröffentlicht: (2026)

General theoretical-set constructions of complete image, restriction, compatibility: properties and applications
von: Buy, D.B., et al.
Veröffentlicht: (2026)

Recursive queries in SQL: samples, intensional and formal semantics
von: Buy, D.B., et al.
Veröffentlicht: (2026)

Multisets: a bibliographic overview, construction of a lattice of multisets
von: Bogatyreva, Yu.A.
Veröffentlicht: (2026)

Partial predicates logics induced Kleene&#039;s three-valued logics
von: D. B. Buj, et al.
Veröffentlicht: (2015)

Relations of logical consequence in composition nominative logics
von: Shkilnyak, S.S.
Veröffentlicht: (2025)

The algebro-logical approach to the analysis and processing of the text information
von: Palagin, O.V., et al.
Veröffentlicht: (2026)

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
von: Bača, J., et al.
Veröffentlicht: (2015)

Formal-logical approach to building analysis systems of knowledge in different domains
von: Palagin, O.V., et al.
Veröffentlicht: (2026)

Compositional-nominative modal logics of the functional-equational level
von: Shkilniak, O.S.
Veröffentlicht: (2026)

Compositional logics of nominative data
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2015)

Service-oriented, distributed real-time systems in digital libraries
von: Novitsky, O.V.
Veröffentlicht: (2025)

Technological Model for the Process of Software Automated Production
von: Slabospitska, O.O.
Veröffentlicht: (2025)

Development of a semantic and syntactic model of natural language by means of non-negative matrix and tensor factorization
von: Marchenko, O.O.
Veröffentlicht: (2025)

Problems and tools of designing and estimation of viable program system
von: Ignatenko, P.P., et al.
Veröffentlicht: (2015)

Axiomatic models and methods used to design of language translators
von: Parasyuk, I.N., et al.
Veröffentlicht: (2015)

On some technology of project modeling of stochastic manufacturing technological processes
von: Maksimey, I.V., et al.
Veröffentlicht: (2015)

Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
von: Akulovskiy, V.G., et al.
Veröffentlicht: (2017)

An improvement for software families’ development with agile methodologies’ elements
von: Koval, G.I., et al.
Veröffentlicht: (2026)

Financial and economic ontology of information storage
von: Melashchenko, A.O., et al.
Veröffentlicht: (2026)

On application of machine-learning for designing adaptive sorting programs in algebra of algorithms
von: Yatsenko, O.A.
Veröffentlicht: (2025)

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
von: Yatsenko, O.A.
Veröffentlicht: (2025)

Programming gestures simulator with statistical modeling
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2017)

Formalized designing and generation of parallel program for numerical weather forecasting task
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Problem of automation of situational management of protection of zones of the responsibility
von: Alekseev, V.A., et al.
Veröffentlicht: (2025)

One model of optimal resource allocation in homogeneous multiprocessor system
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

AWP – instrument for project and programming complex systems on the base system analisys
von: Antonov, V.M., et al.
Veröffentlicht: (2026)

Cyberakmeology concept and principles projection programm-technology systems
von: Antonov, V.M., et al.
Veröffentlicht: (2026)

Testing of interest to game
von: Kozhaev, V.V.
Veröffentlicht: (2026)

Estimation of reliability of modular software
von: Antsypov, A.V., et al.
Veröffentlicht: (2026)

Problem of reengineering of legacy-software systems
von: Pashkovets, N.D., et al.
Veröffentlicht: (2026)

Methodology for developing an automated information system for the recording and forward planning of sanatorium, spa and rehabilitation treatment for victims
von: Chadyuk, A.V., et al.
Veröffentlicht: (2026)

Design of ontological system of terms and their cognitive models in scientific research
von: Rogushina, J.V., et al.
Veröffentlicht: (2026)

The registration and accounting of the information about events in specialized informational-telecommunication systems
von: Alekseev, V.A., et al.
Veröffentlicht: (2025)

Formalized design and synthesis of parallel programs for videographic shortcuts
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Application of problem domain ontological description for relevantness increasing of informational retrieval
von: Rogushina, J.V.
Veröffentlicht: (2015)

Virtualization of models of technical plants in educational and research problems in the development of control systems
von: Zherebko, V.A.
Veröffentlicht: (2017)

The algebraic model refactoring of components
von: Grischenko, V.N.
Veröffentlicht: (2015)

Organization of the Schemes of Interaction of Departmental Information Systems in the Integrated Interdepartmental Information System
von: Alekseev, V.A., et al.
Veröffentlicht: (2015)

Technological aspects of viable software development using generative programming
von: Ignatenko, P.P., et al.
Veröffentlicht: (2026)