Omitting types in an intermediate logic
From MaRDI portal
Publication:539154
DOI10.1007/s11225-011-9310-xzbMath1232.03023MaRDI QIDQ539154
Massoud Pourmahdian, Seyed-Mohammad Bagheri
Publication date: 27 May 2011
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-011-9310-x
03B55: Intermediate logics
Cites Work