A new sequent calculus for automated proof search

Результат исследований: Вклад в журнал › Статья › рецензирование

Язык оригинала	Английский
Страницы (с-по)	4977-4984
Число страниц	8
Журнал	Applied Mathematical Sciences
Том	8
Номер выпуска	97-100
DOI	https://doi.org/10.12988/ams.2014.46497
Состояние	Опубликовано - 1 янв 2014

Предметные области ASJC Scopus

@article{3ceadc4c06a04f74968be22ce31a219e,

title = "A new sequent calculus for automated proof search",

keywords = "Automated proof search, Natural deduction, Proof theory, Sequent calculus",

author = "Oleg Okhotnikov",

year = "2014",

month = jan,

day = "1",

doi = "10.12988/ams.2014.46497",

language = "English",

volume = "8",

pages = "4977--4984",

journal = "Applied Mathematical Sciences",

issn = "1312-885X",

publisher = "Hikari Ltd.",

number = "97-100",

}

TY - JOUR

T1 - A new sequent calculus for automated proof search

AU - Okhotnikov, Oleg

PY - 2014/1/1

Y1 - 2014/1/1

KW - Automated proof search

KW - Natural deduction

KW - Proof theory

KW - Sequent calculus

UR - http://www.scopus.com/inward/record.url?scp=84939123606&partnerID=8YFLogxK

U2 - 10.12988/ams.2014.46497

DO - 10.12988/ams.2014.46497

M3 - Article

AN - SCOPUS:84939123606

VL - 8

SP - 4977

EP - 4984

JO - Applied Mathematical Sciences

JF - Applied Mathematical Sciences

SN - 1312-885X

IS - 97-100

ER -