Spectrum of sequential number pershopordinal compositional-nominative logics
Prombles in programming 2013; 3: 22-37
Gespeichert in:
| Veröffentlicht in: | PROBLEMS IN PROGRAMMING |
|---|---|
| Datum: | 2025 |
| Heft: | 3 |
| Сторінки: | 22-37 |
| ISSN: | 1727-4907 |
| Автори та афіліації: |
|
| Ключові слова: | композиційно-номінативна логіка, секвенційне числення, композиційно-номінативні мови, багатозначна логіка, секвенції, композиційна алгебра, логіко-семантичне представлення, predicativity, ie. determinatives, generalized derivative |
| 1. Verfasser: | Shkilnyak, S.S. |
| Format: | Artikel |
| Sprache: | Ukrainisch |
| Veröffentlicht: |
PROBLEMS IN PROGRAMMING
2025
|
| Schlagworte: | |
| Online Zugang: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/750 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: |
|
Institution
Problems in programmingÄhnliche Einträge
Special relations of logical consequence in logics of quasi-ary predicates
von: Shkilniak, S.S.
Veröffentlicht: (2025)
von: Shkilniak, S.S.
Veröffentlicht: (2025)
Sequent calculi of composition nominative modal logics of functional-equational level
von: Shkilnyak, O.S.
Veröffentlicht: (2025)
von: Shkilnyak, O.S.
Veröffentlicht: (2025)
First-order composition-nominative logics with predicates of weak equality and of strong equality
von: Shkilniak, S.S.
Veröffentlicht: (2019)
von: Shkilniak, S.S.
Veröffentlicht: (2019)
Composition-nominative logics of free-quantifier levels
von: Shkilniak, S.S., et al.
Veröffentlicht: (2018)
von: Shkilniak, S.S., et al.
Veröffentlicht: (2018)
Logical consequence relations in logics of monotone predicates and logics of antitone predicates
von: Shkilniak, O.S.
Veröffentlicht: (2018)
von: Shkilniak, O.S.
Veröffentlicht: (2018)
Logical consequence relations in logics of quasiary predicates
von: Shkilniak, O.S.
Veröffentlicht: (2018)
von: Shkilniak, O.S.
Veröffentlicht: (2018)
Propositional logics of partial predicates with composition of predicate complement
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2019)
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2019)
Pure first-order quasiary logics with equality predicates
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)
Pure first-order logics of quasiary predicates
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)
Relations of logical consequence in logics of partial predicates with composition of predicate complement
von: Shkilniak, O.S.
Veröffentlicht: (2019)
von: Shkilniak, O.S.
Veröffentlicht: (2019)
Logics of general non-deterministic predicates: semantic aspects
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)
Algebras of quasiary and of bi-quasiary relations
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)
Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools
von: Shkilniak, O.S.
Veröffentlicht: (2019)
von: Shkilniak, O.S.
Veröffentlicht: (2019)
First-order logics with partial predicates for checking variable definedness
von: Shkilniak, S.S.
Veröffentlicht: (2025)
von: Shkilniak, S.S.
Veröffentlicht: (2025)
Relations of logical consequence in composition nominative logics
von: Shkilnyak, S.S.
Veröffentlicht: (2025)
von: Shkilnyak, S.S.
Veröffentlicht: (2025)
Development of Web-prototype for analysis of statements in social network Twitter
von: Glybovets, A.M., et al.
Veröffentlicht: (2019)
von: Glybovets, A.M., et al.
Veröffentlicht: (2019)
Сoordinated description of algorithms within the framework of algebraic vehicle
von: Akulovskiy, V.G., et al.
Veröffentlicht: (2025)
von: Akulovskiy, V.G., et al.
Veröffentlicht: (2025)
Compositional-nominative logics over hierarchical data
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2026)
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2026)
Logical view for construction-synthesis model of data structures
von: Shynkarenko, V.I., et al.
Veröffentlicht: (2025)
von: Shynkarenko, V.I., et al.
Veröffentlicht: (2025)
Compositional-nominative modal logics of the functional-equational level
von: Shkilniak, O.S.
Veröffentlicht: (2026)
von: Shkilniak, O.S.
Veröffentlicht: (2026)
Development of agent recommendation system of virtual university based on JADE
von: Glybovets, M.M., et al.
Veröffentlicht: (2017)
von: Glybovets, M.M., et al.
Veröffentlicht: (2017)
Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics
von: Shkilniak, О.S., et al.
Veröffentlicht: (2024)
von: Shkilniak, О.S., et al.
Veröffentlicht: (2024)
Composition-nominative logics of free-quantifier levels
von: S. S. Shkilniak, et al.
Veröffentlicht: (2016)
von: S. S. Shkilniak, et al.
Veröffentlicht: (2016)
Grid application development framework
von: Prila, O.A.
Veröffentlicht: (2025)
von: Prila, O.A.
Veröffentlicht: (2025)
Module-based scientific physics engine architecture
von: Bernatovych, A.A., et al.
Veröffentlicht: (2023)
von: Bernatovych, A.A., et al.
Veröffentlicht: (2023)
Designers sets and multisets of objects
von: Terletskyi, D.O.
Veröffentlicht: (2025)
von: Terletskyi, D.O.
Veröffentlicht: (2025)
Mathematical foundations for designing and development of intelligent systems of information analysis
von: Terletskyi, D.O., et al.
Veröffentlicht: (2025)
von: Terletskyi, D.O., et al.
Veröffentlicht: (2025)
Construction of sequent calculi of composition-nominative multimodal logics
von: Shkilniak, O.S.
Veröffentlicht: (2025)
von: Shkilniak, O.S.
Veröffentlicht: (2025)
Composition nominative modal logics of partial non-monotone predicates and their calculi
von: O. S. Shkilniak, et al.
Veröffentlicht: (2017)
von: O. S. Shkilniak, et al.
Veröffentlicht: (2017)
Method of forming multi-leveled sequential patterns
von: Moldavskaya, A.V.
Veröffentlicht: (2018)
von: Moldavskaya, A.V.
Veröffentlicht: (2018)
First-order composition-nominative logics with predicates of weak equality and of strong equality
von: S. S. Shkilniak
Veröffentlicht: (2019)
von: S. S. Shkilniak
Veröffentlicht: (2019)
Some aspects of software engineering for AI-based systems
von: Liubchenko, V.V.
Veröffentlicht: (2023)
von: Liubchenko, V.V.
Veröffentlicht: (2023)
Specification Based Program Construction and Verification in Composition-Nominative Language CNLS
von: Bezverha, M.A., et al.
Veröffentlicht: (2026)
von: Bezverha, M.A., et al.
Veröffentlicht: (2026)
The Code is based on random numbers with irregular distribution
von: Mikhersky, R.M.
Veröffentlicht: (2025)
von: Mikhersky, R.M.
Veröffentlicht: (2025)
Sequential composition and decomposition of descriptor controlled systems
von: L. A. Vlasenko, et al.
Veröffentlicht: (2018)
von: L. A. Vlasenko, et al.
Veröffentlicht: (2018)
Metods of interaction and coordination in multi-agent system based on fussy logic of higher type
von: Parasiuk, I.N., et al.
Veröffentlicht: (2025)
von: Parasiuk, I.N., et al.
Veröffentlicht: (2025)
Twin signed domination numbers in directed graphs
von: Atapour, Maryam, et al.
Veröffentlicht: (2017)
von: Atapour, Maryam, et al.
Veröffentlicht: (2017)
Sequential implantations of deuterium and helium ions into tungsten-coated composite structures
von: Azarenkov, N.A., et al.
Veröffentlicht: (2016)
von: Azarenkov, N.A., et al.
Veröffentlicht: (2016)
Analysis of storage and display frameworks based on aspect-oriented technologies
von: Glybovets, M.M., et al.
Veröffentlicht: (2025)
von: Glybovets, M.M., et al.
Veröffentlicht: (2025)
Translation of VHDL Sequential Statements
von: Radziewicz, M.
Veröffentlicht: (2008)
von: Radziewicz, M.
Veröffentlicht: (2008)
Ähnliche Einträge
-
Special relations of logical consequence in logics of quasi-ary predicates
von: Shkilniak, S.S.
Veröffentlicht: (2025) -
Sequent calculi of composition nominative modal logics of functional-equational level
von: Shkilnyak, O.S.
Veröffentlicht: (2025) -
First-order composition-nominative logics with predicates of weak equality and of strong equality
von: Shkilniak, S.S.
Veröffentlicht: (2019) -
Composition-nominative logics of free-quantifier levels
von: Shkilniak, S.S., et al.
Veröffentlicht: (2018) -
Logical consequence relations in logics of monotone predicates and logics of antitone predicates
von: Shkilniak, O.S.
Veröffentlicht: (2018)