A note on syntactical and semantical functions |
| |
Authors: | Adam Gajda Michał Krynicki Lesław Szczerba |
| |
Affiliation: | (1) Institute of Mathematics, The Branch of University of Warsaw, 15-267 Biaystok, Poland;(2) Institute of Mathematics, University of Warsaw, PKiN, Warsaw, Poland |
| |
Abstract: | We say that a semantical function is correlated with a syntactical function F iff for any structure A and any sentence we have A F A .It is proved that for a syntactical function F there is a semantical function correlated with F iff F preserves propositional connectives up to logical equivalence. For a semantical function there is a syntactical function F correlated with iff for any finitely axiomatizable class X the class –1X is also finitely axiomatizable (i.e. iff is continuous in model class topology). |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|