Buchumschlag

First-order composition-nominative logics with predicates of weak equality and of strong equality

Development of the new software-oriented logical formalisms is a topical problem. The paper introduces logics of partial predicates with predicate complement and equality predicates, we denote them LCE. They extend logics of quasiary predicates with equality and logics with predicate complement. T...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2019
1. Verfasser:	Shkilniak, S.S.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2019
Schlagworte:	logic predicate composition equality logical consequence UDC 004.42:510.69
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/365
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Pure first-order quasiary logics with equality predicates
von: Nikitchenko, M.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)

Logical consequence relations in logics of quasiary predicates
von: Shkilniak, O.S.
Veröffentlicht: (2018)

Relations of logical consequence in logics of partial predicates with composition of predicate complement
von: Shkilniak, O.S.
Veröffentlicht: (2019)

Pure first-order logics of quasiary predicates
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)

Logics of general non-deterministic predicates: semantic aspects
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)

Composition-nominative logics of free-quantifier levels
von: Shkilniak, S.S., et al.
Veröffentlicht: (2018)

Composition nominative modal logics of partial non-monotone predicates and their calculi
von: Shkilniak, O.S., et al.
Veröffentlicht: (2018)

Propositional logics of partial predicates with composition of predicate complement
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2019)

Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2020)

Algebras of general non-deterministic predicates
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)

First-order sequent calculi of logics of quasiary predicates with extended renominations and equality
von: Shkilniak, О.S., et al.
Veröffentlicht: (2023)

First-order logics with partial predicates for checking variable definedness
von: Shkilniak, S.S.
Veröffentlicht: (2025)

First-order composition-nominative logics with generalized renominations
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2025)

Special relations of logical consequence in logics of quasi-ary predicates
von: Shkilniak, S.S.
Veröffentlicht: (2025)

Spectrum of sequential number pershopordinal compositional-nominative logics
von: Shkilnyak, S.S.
Veröffentlicht: (2025)

Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics
von: Shkilniak, О.S., et al.
Veröffentlicht: (2024)

Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools
von: Shkilniak, O.S.
Veröffentlicht: (2019)

Algebras of quasiary and of bi-quasiary relations
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)

Sequent calculi of composition nominative modal logics of functional-equational level
von: Shkilnyak, O.S.
Veröffentlicht: (2025)

Semantic properties of five-valued logics
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)

Logics of quasiary predicates of quantifier-equational level
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2015)

First-order composition-nominative logics with predicates of weak equality and of strong equality
von: S. S. Shkilniak
Veröffentlicht: (2019)

Pure first-order quasiary logics with equality predicates
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2017)

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

Renominative logics with extended renomination, equality and predicate complement
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2019)

Сoordinated description of algorithms within the framework of algebraic vehicle
von: Akulovskiy, V.G., et al.
Veröffentlicht: (2025)

Algebra for the description of data in the composite schemes of algorithms
von: Akulovskiy, V.G.
Veröffentlicht: (2015)

Development of Web-prototype for analysis of statements in social network Twitter
von: Glybovets, A.M., et al.
Veröffentlicht: (2019)

Table interpretation of the temporal description logic LTLALC
von: Reznichenko, V.A., et al.
Veröffentlicht: (2023)

Composition nominative modal logics of partial non-monotone predicates and their calculi
von: O. S. Shkilniak, et al.
Veröffentlicht: (2017)

Logical consequence relations in logics of monotone predicates and logics of antitone predicates
von: O. S. Shkilniak
Veröffentlicht: (2017)

The technique of using Description Logics in the process of constructing a composite service at the functional level
von: Zakharova, O.V.
Veröffentlicht: (2018)

Descriptive logic using in Web-service problems
von: Zakharova, O.V.
Veröffentlicht: (2017)

Relations of logical consequence in logics of partial predicates with composition of predicate complement
von: O. S. Shkilniak
Veröffentlicht: (2019)

Pure first-order logics of quasiary predicates
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2016)

Sequent calculi for first-order logics of single-valued quasi-ary predicates
von: Shkilniak, S.S.
Veröffentlicht: (2018)

Logical consequence relations in logics of quasiary predicates
von: O. S. Shkilniak
Veröffentlicht: (2016)

Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2020)

Propositional logics of partial predicates with composition of predicate com-plement
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2019)