Cover Image

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

Full description

Saved in:

Bibliographic Details
Date:	2015
Main Authors:	Nikitchenko, M.S., Shkilniak, S.S.
Format:	Article
Language:	Ukrainian
Published:	PROBLEMS IN PROGRAMMING 2015
Subjects:
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/9
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

Logics of general non-deterministic predicates: semantic aspects
by: Nikitchenko, M.S., et al.
Published: (2018)

Semantic properties of logics of general non-deterministic predicates
by: M. S. Nikitchenko, et al.
Published: (2017)

Logics of quasiary predicates of quantifier-equational level
by: Nikitchenko, M.S., et al.
Published: (2015)

Logics of general non-deterministic predicates: semantic aspects
by: M. S. Nikitchenko, et al.
Published: (2018)

Propositional logics of partial predicates with composition of predicate complement
by: Nikitchenko, M.S., et al.
Published: (2019)

Pure first-order logics of quasiary predicates
by: Nikitchenko, M.S., et al.
Published: (2018)

Pure first-order quasiary logics with equality predicates
by: Nikitchenko, M.S., et al.
Published: (2018)

Logics with quasiary and N-ary predicates: semantic and syntastic aspects
by: M. S. Nikitchenko, et al.
Published: (2016)

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

Algebras and logics of partial quasiary predicates
by: M. Nikitchenko, et al.
Published: (2017)

Algebras and logics of partial quasiary predicates
by: Nikitchenko, M., et al.
Published: (2017)

Propositional logics of partial predicates with composition of predicate com-plement
by: M. S. Nikitchenko, et al.
Published: (2019)

7-values logics and logics of general non-deterministic predicates
by: M. S. Nikitchenko, et al.
Published: (2018)

Pure first-order logics of quasiary predicates
by: M. S. Nikitchenko, et al.
Published: (2016)

Logical consequence relations in logics of monotone predicates and logics of antitone predicates
by: Shkilniak, O.S.
Published: (2018)

Logical consequence relations in logics of monotone predicates and logics of antitone predicates
by: O. S. Shkilniak
Published: (2017)

Special relations of logical consequence in logics of quasi-ary predicates
by: Shkilniak, S.S.
Published: (2025)

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

Pure first-order quasiary logics with equality predicates
by: M. S. Nikitchenko, et al.
Published: (2017)

Properties of Logical Consequence Relations in Logics of Quasi-Ary Predicates
by: S. S. Shkilniak
Published: (2013)

Algebras of general non-deterministic predicates
by: Nikitchenko, M.S., et al.
Published: (2018)

Relations of logical consequence in logics of partial predicates with composition of predicate complement
by: Shkilniak, O.S.
Published: (2019)

Relations of logical consequence in logics of partial predicates with composition of predicate complement
by: O. S. Shkilniak
Published: (2019)

Renominative logics with extended renomination, equality and predicate complement
by: M. S. Nikitchenko, et al.
Published: (2019)

Semantic properties of five-valued logics
by: Nikitchenko, M.S., et al.
Published: (2018)

Logical consequence relations in logics of quasiary predicates
by: Shkilniak, O.S.
Published: (2018)

Logical consequence relations in logics of quasiary predicates
by: O. S. Shkilniak
Published: (2016)

First-order logics with partial predicates for checking variable definedness
by: Shkilniak, S.S.
Published: (2025)

Renominative logics of quasiary predicates
by: S. S. Shkilniak, et al.
Published: (2016)

Compositional logics of nominative data
by: Nikitchenko, M.S., et al.
Published: (2015)

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

Sequent calculi for first-order logics of single-valued quasi-ary predicates
by: Shkilniak, S.S.
Published: (2018)

First-order composition-nominative logics with predicates of weak equality and of strong equality
by: Shkilniak, S.S.
Published: (2019)

First-order composition-nominative logics with generalized renominations
by: Nikitchenko, M.S., et al.
Published: (2025)

Sequent Calculi for Temporal and Multimodal Logics of Partial Predicates
by: O. S. Shkilniak
Published: (2013)

Semantic properties of five-valued logics
by: M. S. Nikitchenko, et al.
Published: (2018)

Construction of Sequent Calculi for First-order Logics of Quasiary Predicates
by: S. S. Shkilniak
Published: (2013)

Spectrum of sequential number pershopordinal compositional-nominative logics
by: Shkilnyak, S.S.
Published: (2025)

Algebras of general non-deterministic predicates
by: M. S. Nikitchenko, et al.
Published: (2018)

First-order composition-nominative logics with predicates of weak equality and of strong equality
by: S. S. Shkilniak
Published: (2019)