Composition-nominative logics of free-quantifier levels

• Veröffentlicht in: PROBLEMS IN PROGRAMMING
• Datum: 2018
• Heft: 2-3
• Сторінки: 38-47
• ISSN: 1727-4907
• Автори та афіліації: S.S. Shkilniak — Kiev Taras Shevchenko National University; D.B. Volkovytskyi — Kiev Taras Shevchenko National University
• Ключові слова: суперпозиція, рівність, логічний наслідок, рівноправність, логіка, предикація, недетермінований предикат, квазіарний предикат, предикативність, то- чка рівноваги
• Hauptverfasser: Shkilniak, S.S., Volkovytskyi, D.B.
• Format: Artikel
• Sprache: Ukrainisch
• Veröffentlicht: PROBLEMS IN PROGRAMMING 2018
• Schlagworte: free-quantifier logic; predicate; renomination; superposition; equality; logical consequence; UDC 004.42:510.69
• Online Zugang: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/180
• Назва журналу: Problems in programming

Free-quantifier composition nominative logics of partial quasiary predicates are considered. We specify the following levels of these logics: renominative, renominative with predicates of weak equality, renominative with predicates of strong equality, free-quantifier, free-quantifier with composition of weak equality, free-quantifier with composition of strong equality. The paper is mainly dedicated to investigation ofNlogics of free-quantifier levels with equality. Languages and semantic models of such logics are described, their semantic properties are studied, in particular the properties of relations of logical consequence.Problems in programming 2016; 2-3: 38-47