Buchumschlag

Relations of logical consequence in composition nominative logics

Semantic properties of composition nominative logics of partial single-valued, total and partial ambiguous predicates of propositional, renominative and quantifier levels are studied. Relations of logical consequence for pairs and sets of formulas, and relations of logical equivalence are investigat...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:PROBLEMS IN PROGRAMMING
Datum:2025
Heft:1
Сторінки:15-38
ISSN:1727-4907
Автори та афіліації:
  • S.S. Shkilnyak — Kiev Taras Shevchenko National University
Ключові слова:композиційно-номінативна логіка, композиційно-номінативні мови, логіко-семантичне представлення, композиційна алгебра, логічний наслідок, логіка, багатозначна логіка, композиція, композиційна структура, логіко-лінгвістичний опис
1. Verfasser: Shkilnyak, S.S.
Format: Artikel
Sprache:Ukrainisch
Veröffentlicht: PROBLEMS IN PROGRAMMING 2025
Schlagworte:
UDC 681.3.06
Online Zugang:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/844
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Problems in programming
Завантажити файл: Pdf

Institution

Problems in programming

Ähnliche Einträge

Ähnliche Einträge