کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4661578 1633435 2016 34 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
The semantic isomorphism theorem in abstract algebraic logic
ترجمه فارسی عنوان
قضیه ریخت معنایی در منطق جبری انتزاعی
کلمات کلیدی
استدلالهای Algebraizable؛ چکیده منطق جبری؛ اپراتورهای بستار ساختاری؛ قضیه ریخت معنایی؛ فریم Evaluational؛ شبکه ترکیبی
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی

One of the most interesting aspects of Blok and Pigozzi's algebraizability theory is that the notion of algebraizable logic LL can be characterised by means of Syntactic and Semantic Isomorphism Theorems. While the Syntactic Isomorphism Theorem concerns the relation between the theories of the algebraizable logic LL and those of the equational consequence relative to its equivalent algebraic semantics KK, the Semantic Isomorphism Theorem describes the interplay between the filters of LL on an arbitrary algebra A and the congruences of A   relative to KK. The pioneering insight of Blok and Jónsson, and the further generalizations by Galatos, Tsinakis, Gil-Férez and Russo, showed that the concept of algebraizability was not intrinsic to the connection between a logic and an equational consequence, thus inaugurating the abstract theory of equivalence between structural closure operators. However all these works focus only on the Syntactic Isomorphism Theorem, disregarding the semantic aspects present in the original theory. In this paper we fill this gap by introducing the notion of compositional lattice, which acts on a category of evaluational frames. In this new framework the non-linguistic flavour of the Semantic Isomorphism Theorem can be naturally recovered. In particular, we solve the problem of finding sufficient and necessary conditions for transferring a purely syntactic equivalence to the semantic level as in the Semantic Isomorphism Theorem.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 167, Issue 12, December 2016, Pages 1298–1331
نویسندگان
,