On the Decidability of Propositional Algorithmic Logic

Research output: Contribution to journal › Article › peer-review

Original language	English (US)
Pages (from-to)	247-261
Number of pages	15
Journal	Mathematical Logic Quarterly
Volume	28
Issue number	14-18
DOIs	https://doi.org/10.1002/malq.19820281409
State	Published - 1982
Externally published	Yes

ASJC Scopus subject areas

@article{6162a453602647049cd94065bcc6fa64,

title = "On the Decidability of Propositional Algorithmic Logic",

author = "Chlebus, {Bogdan S.}",

year = "1982",

doi = "10.1002/malq.19820281409",

language = "English (US)",

volume = "28",

pages = "247--261",

journal = "Mathematical Logic Quarterly",

issn = "0942-5616",

publisher = "Wiley-VCH Verlag",

number = "14-18",

}

TY - JOUR

T1 - On the Decidability of Propositional Algorithmic Logic

AU - Chlebus, Bogdan S.

PY - 1982

Y1 - 1982

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

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

U2 - 10.1002/malq.19820281409

DO - 10.1002/malq.19820281409

M3 - Article

AN - SCOPUS:84985305540

SN - 0942-5616

VL - 28

SP - 247

EP - 261

JO - Mathematical Logic Quarterly

JF - Mathematical Logic Quarterly

IS - 14-18

ER -