A new sequent calculus for automated proof search

Oleg Okhotnikov

doi:10.12988/ams.2014.46497

A new sequent calculus for automated proof search

Research output: Contribution to journal › Article

Original language	English
Pages (from-to)	4977-4984
Number of pages	8
Journal	Applied Mathematical Sciences
Volume	8
Issue number	97-100
DOIs	https://doi.org/10.12988/ams.2014.46497
Publication status	Published - 1 Jan 2014

Keywords

Automated proof search
Natural deduction
Proof theory
Sequent calculus

ASJC Scopus subject areas

Applied Mathematics

Access to Document

10.12988/ams.2014.46497

Link to publication in Scopus

Cite this

@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 -