Geodesic
Analytic sequent calculi with nonlogical axioms
Zapiski Nauchnykh Seminarov POMI, Representation theory, dynamical systems, combinatorial methods. Part XXXV, Tome 528 (2023), pp. 166-194

Voir la notice de l'article provenant de la source Math-Net.Ru

This paper investigates a variety of sequent calculi including substructural ones and calculi with equality that can be used for characterizing AI systems. These calculi have introduction inference rules for logical connectives and contain nonlogical axioms. Nonlogical axioms represent domain knowledge. Derivations in these calculi can be restricted to a normal form and to an ordered form. Inference rules are constrained in these forms. It is proved that these calculi are analytic. Infinite branching can be avoided in inference procedures for these calculi. 
@article{ZNSL_2023_528_a10,
     author = {A. Sakharov},
     title = {Analytic sequent calculi with nonlogical axioms},
     journal = {Zapiski Nauchnykh Seminarov POMI},
     pages = {166--194},
     publisher = {mathdoc},
     volume = {528},
     year = {2023},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/ZNSL_2023_528_a10/}
}
TY  - JOUR
AU  - A. Sakharov
TI  - Analytic sequent calculi with nonlogical axioms
JO  - Zapiski Nauchnykh Seminarov POMI
PY  - 2023
SP  - 166
EP  - 194
VL  - 528
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZNSL_2023_528_a10/
LA  - en
ID  - ZNSL_2023_528_a10
ER  - 
%0 Journal Article
%A A. Sakharov
%T Analytic sequent calculi with nonlogical axioms
%J Zapiski Nauchnykh Seminarov POMI
%D 2023
%P 166-194
%V 528
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZNSL_2023_528_a10/
%G en
%F ZNSL_2023_528_a10
A. Sakharov. Analytic sequent calculi with nonlogical axioms. Zapiski Nauchnykh Seminarov POMI, Representation theory, dynamical systems, combinatorial methods. Part XXXV, Tome 528 (2023), pp. 166-194. http://geodesic.mathdoc.fr/item/ZNSL_2023_528_a10/