On the compactness property of extensions of first-order G\"odel logic

From MaRDI portal
Publication:2805906