Omitting Types in an Intermediate Logic
Source: Studia Logica, Volume 97, Number 3, April 2011 , pp. 319-328(10)
Abstract:We prove an omitting types theorem and one direction of the related Ryll-Nardzewski theorem for semi-classical theories introduced in .
Document Type: Research Article
Affiliations: 1: Department of Pure Mathematics, Faculty of Mathematical Sciences, Tarbiat Modares University, P. O. Box 14115-134, Tehran, Iran, Email: email@example.com 2: School of Mathematics, Amirkabir University of Technology, Tehran, Iran, Email: firstname.lastname@example.org
Publication date: April 2011