First-order sequent calculi of logics of quasiary predicates with extended renominations and equality

First-order sequent calculi of logics of quasiary predicates with extended renominations and equality

The paper considers new classes of software-oriented logical formalisms – pure first-order logics of partial quasiary predicates with extended renomi- nations and predicates of strong equality and of weak equality.Prombles in programming 2022; 3-4: 11-22

Saved in:
Bibliographic Details
Date:2023
Main Authors: Shkilniak, О.S., Shkilniak, S.S.
Format: Article
Language:Ukrainian
Published: PROBLEMS IN PROGRAMMING 2023
Subjects:
logic
partial predicate
equality
logical consequence
sequent calculus
soundness
completeness
UDC 510.64
Online Access:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/502
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Problems in programming
Download file: Pdf

Institution

Problems in programming
Description
Summary:The paper considers new classes of software-oriented logical formalisms – pure first-order logics of partial quasiary predicates with extended renomi- nations and predicates of strong equality and of weak equality.Prombles in programming 2022; 3-4: 11-22

Similar Items