Buchumschlag

Logics of local equitone predicates: semantic properties and sequential calculuses

Composition nominative logics of local equitone predicates are proposed. Such logics preserve the main deductive properties of classical logic, but have more rich class of models. Semantic properties and consequence relation for sets of formulas of such logics are studied and сorresponding sequentia...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2015
Hauptverfasser:	Nikitchenko, M.S., Shkilniak, S.S.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2015
Schlagworte:
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/9
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

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

Semantic properties of logics of general non-deterministic predicates
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2017)

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

Propositional logics of partial predicates with composition of predicate complement
von: Nikitchenko, M.S., et al.
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: M. S. Nikitchenko, et al.
Veröffentlicht: (2018)

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

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)

Logics with quasiary and N-ary predicates: semantic and syntastic aspects
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2016)

Algebras and logics of partial quasiary predicates
von: M. Nikitchenko, et al.
Veröffentlicht: (2017)

Algebras and logics of partial quasiary predicates
von: Nikitchenko, M., et al.
Veröffentlicht: (2017)

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

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

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

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

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 monotone predicates and logics of antitone predicates
von: O. S. Shkilniak
Veröffentlicht: (2017)

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)

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

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

Properties of Logical Consequence Relations in Logics of Quasi-Ary Predicates
von: S. S. Shkilniak
Veröffentlicht: (2013)

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

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

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

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

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

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

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

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

Renominative logics of quasiary predicates
von: S. S. Shkilniak, et al.
Veröffentlicht: (2016)

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

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

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

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

Sequent Calculi for Temporal and Multimodal Logics of Partial Predicates
von: O. S. Shkilniak
Veröffentlicht: (2013)

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

Construction of Sequent Calculi for First-order Logics of Quasiary Predicates
von: S. S. Shkilniak
Veröffentlicht: (2013)

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

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

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