On elimination of quantifiers in some non-classical mathematical theories

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

Original language	English
Pages (from-to)	140-154
Number of pages	15
Journal	Mathematical Logic Quarterly
Volume	64
Issue number	3
DOIs	https://doi.org/10.1002/malq.201600078
Publication status	Published - 2018

Fields of science

@article{70f8728f91984146bffe02e18fdc7bd5,

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

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

year = "2018",

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

Y1 - 2018

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 -