Willem Blok's contribution to abstract algebraic logic (Q2433093)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Willem Blok's contribution to abstract algebraic logic |
scientific article |
Statements
Willem Blok's contribution to abstract algebraic logic (English)
0 references
27 October 2006
0 references
This is a survey paper about some results proved by W. Blok in the theory of abstract algebraic logics. The first result is a characterization of protoalgebraic logics by the Leibniz operator. A deductive system \({\mathcal S}\) is called protoalgebraic if for every set of formulas \(\Gamma\) every two \(\Gamma\)-equivalent formulas are \(\Gamma\)-interderivable. For a deductive system \({\mathcal S}\): \({\mathcal S}\) is protoalgebraic \(\Leftrightarrow\Omega_{\mathbf{Fm}}\) is monotone on Th\( {\mathcal S}\Leftrightarrow\) for every algebra \textbf{A}, \(\Omega_{\mathbf {A}}\) is monotone on Fi\(_{\mathcal S}\Leftrightarrow{\mathcal S}\) has the correspondence property, that is, if for any two models \({\mathcal M},{\mathcal N}\) of \({\mathcal S}\) and every strict homomorphism \(h\) from \({\mathcal M}\) onto \({\mathcal N}\) the map that sends every \({\mathcal S}\)-filter \(H\) of \({\mathcal M}\) to \(h[H]\) is an isomorphism between \(\text{Fi}_{\mathcal S}{\mathcal M}\) and \(\text{Fi}_{\mathcal S}{\mathcal N}\). Next, the results about algebraizable logics are presented. A deductive system \({\mathcal S}\) is called algebraizable if there is a \(\tau\)-algebraic semantics \(K\), for some \(\tau(p)\), and a \((2,1)\)-translation \(\rho(p,q)\) such that \(\tau\) and \(\rho\) are mutually inverse. In this case \(K\) is called an equivalent algebraic semantics for \({\mathcal S}\). Fundamental and important theorems for the algebraizable logics are expressed as Theorem 3 and Theorem 4: Theorem 3. A deductive system \({\mathcal S}\) is algebraizable iff there exist a finite set of formulas \(\Delta(p,q)\) and a finite set of equations \(\tau(p)\) such that (1) \(\vdash_{\mathcal S}\Delta (\varphi,\varphi)\) (2) \(\Delta(\varphi,\psi),\Delta(\psi,\eta)\vdash_{\mathcal S}\Delta (\varphi,\eta)\) (3) \(\Delta(\varphi,\psi)\vdash_{\mathcal S}\Delta (\psi, \varphi)\) (4) \(\varphi\vdash_{\mathcal S}\Delta[\tau(\varphi)]\) and \(\Delta[\tau(\varphi)]\vdash_{\mathcal S}\varphi\) (5) \(\bigcup_{i<n} \Delta (\varphi_i,\psi_i)\vdash_{\mathcal S}\Delta(*\varphi_0\cdots \varphi_{n-1},*\psi_0 \cdots\psi_{n-1})\) for each connective \(*\), where \(n\) is its arity. Theorem 4. A deductive system \({\mathcal S}\) is algebraizable iff the Leibniz operator is injective and continuous on the lattice of \({\mathcal S}\)-theories. Moreover, a result with respect to a (local) deduction-detachment theorem is also described. A \(k\)-deductive system \({\mathcal S}\) has a local deduction-detachment theorem if there is a family \(\{\Delta_i(p,q)\mid i\in I\}\) of sets of formulas in two variables such that for all \(\Gamma\subseteq Fm^k_{\mathcal L}\) and all \(\varphi, \psi\in Fm^k_{\mathcal L}\), \[ \Gamma,\varphi\vdash_{\mathcal S}\psi\text{ iff } \Gamma \vdash_{\mathcal S}\Delta_i(\varphi,\psi),\text{ for some }i\in I. \] If the family has a single element \(\Delta\), then it is said that \({\mathcal S}\) has a deduction-detachment theorem. As to the property, the following result is very important. Theorem 8. A quasivariety \textbf{K} has equationally definable principal relative congruences iff \({\mathcal S}^2_{\mathbf {K}}\) has a deduction-detachment theorem. These results above are fundamental and important in the theory of AAL (abstract algebraic logics).
0 references
abstract algebraic logic
0 references
Willem Blok
0 references
algebraizable logics
0 references
survey
0 references
Leibniz operator
0 references