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...
Gespeichert in:
| Veröffentlicht in: | PROBLEMS IN PROGRAMMING |
|---|---|
| Datum: | 2025 |
| Heft: | 1 |
| Сторінки: | 15-38 |
| ISSN: | 1727-4907 |
| Автори та афіліації: |
|
| Ключові слова: | композиційно-номінативна логіка, композиційно-номінативні мови, логіко-семантичне представлення, композиційна алгебра, логічний наслідок, логіка, багатозначна логіка, композиція, композиційна структура, логіко-лінгвістичний опис |
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Ukrainisch |
| Veröffentlicht: |
PROBLEMS IN PROGRAMMING
2025
|
| Schlagworte: | |
| 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 |
| Завантажити файл: |
|