First-order composition-nominative logics with predicates of weak equality and of strong equality

First-order composition-nominative logics with predicates of weak equality and of strong equality

Development of the new software-oriented logical formalisms is a topical problem. The paper introduces lo­gics of partial predicates with predicate complement and equality predicates, we denote them LCE. They ex­tend logics of quasiary predicates with equality and logics with predicate complement. T...

Full description

Saved in:
Bibliographic Details
Date:2019
Main Author: Shkilniak, S.S.
Format: Article
Language:Ukrainian
Published: PROBLEMS IN PROGRAMMING 2019
Subjects:
logic
predicate
composition
equality
logical consequence
UDC 004.42:510.69
Online Access:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/365
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Problems in programming
Download file: Pdf

Institution

Problems in programming

Similar Items

Similar Items