scientific article; zbMATH DE number 1735871
From MaRDI portal
Publication:4329232
zbMath1001.03054MaRDI QIDQ4329232
Eva Hoogland, Carlos Abreces, Dick H. J. de Jongh
Publication date: 11 December 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
interpolationfixed pointsinterpretability logicprovability logicBeth definabilityrelative interpretability between arithmetical theories
Related Items (3)
The fixed point and the Craig interpolation properties for sublogics of \textbf{IL} ⋮ Preservation of Craig interpolation by the product of matrix logics ⋮ Craig interpolation in the presence of unreliable connectives
This page was built for publication:
