On elimination of quantifiers in some non-classical mathematical theories

Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

Originalsprache	Englisch
Seiten (von - bis)	140-154
Seitenumfang	15
Fachzeitschrift	Mathematical Logic Quarterly
Volume	64
Ausgabenummer	3
DOIs	https://doi.org/10.1002/malq.201600078
Publikationsstatus	Veröffentlicht - Juli 2018

Wissenschaftszweige

@article{70f8728f91984146bffe02e18fdc7bd5,

title = "On elimination of quantifiers in some non-classical mathematical theories",

author = "\{Badia Hernandez\}, Guillermo and Andrew Tedder",

year = "2018",

month = jul,

doi = "10.1002/malq.201600078",

language = "English",

volume = "64",

pages = "140--154",

journal = "Mathematical Logic Quarterly",

issn = "1521-3870",

number = "3",

}

TY - JOUR

T1 - On elimination of quantifiers in some non-classical mathematical theories

AU - Badia Hernandez, Guillermo

AU - Tedder, Andrew

PY - 2018/7

Y1 - 2018/7

UR - https://www.scopus.com/pages/publications/85050980252

U2 - 10.1002/malq.201600078

DO - 10.1002/malq.201600078

M3 - Article

SN - 1521-3870

VL - 64

SP - 140

EP - 154

JO - Mathematical Logic Quarterly

JF - Mathematical Logic Quarterly

IS - 3

ER -