A reinterpretation of the semilattice semantics with applications (Q2045003)

The goal of the paper is, using an idea of semilattice semantics introduced by \textit{A. Urquhart} [J. Symb. Log. 37, 159--169 (1972; Zbl 0245.02028)], for relevant logics, to construct semilattice semantics for intuitionistic propositional logic \(\mathbf{J}\) and Jankov's logic \(\mathbf{KC}\). In addition, semilattice semantics for (semi)-relevant logics \(\mathbf{SJ}\) and \(\mathbf{SKC}\) are presented. A semilattice frame is a structure \(\mathfrak{F} = \langle S, 0, \sqcup \rangle\) where \(\langle S, \sqcup \rangle\) is a join-semilattice and \(0 \in S\) is lattice bottom element. Let \(\mathcal{P}(S)\) be a power set of \(S\) and \(\Pi\) be a set of all propositional variables. An intuitionistic semilattice model is a structure \(\mathfrak{M} = \langle \mathfrak{F},V \rangle\) where \(\mathfrak{F} = \langle S, 0, \sqcup \rangle\) is a semilattice frame and \(V :\Pi \cup \{\bot\} \longrightarrow \mathcal{P}(S)\) is subject to the following conditions: \begin{itemize} \item[1.] \(x \in V(p)\) implies \(x \sqcup y \in V(p)\) \item[2.] \(x \in V(\bot)\) implies \(x \sqcup y \in V(\bot)\) \item[3.] \(x \in V(\bot)\) implies \(x \in V(p)\) (for all \(p \in \Pi\)) \end{itemize} The truth conditions for model \(\mathfrak{M}\) are defined as follows: \begin{itemize} \item[(a)] \(\models_x^\mathfrak{M} p\) if and only if \(x \in V(p)\) \item[(b)] \(\models_x^\mathfrak{M} \bot\) if and only if \(x \in V(\bot)\) \item[(c)] \(\models_x^\mathfrak{M} \varphi \land \psi\) if and only if \(\models_x^\mathfrak{M} \varphi\) and \(\models_x^\mathfrak{M} \psi\) \item[(d)] \(\models_x^\mathfrak{M} \varphi \lor \psi\) if and only if \(\models_x^\mathfrak{M} \varphi\) or \(\models_x^\mathfrak{M} \psi\) \item[(c)] \(\models_x^\mathfrak{M} \varphi \to \psi\) if and only if for all \(y \in S\), \(\not\models_y^\mathfrak{M} \varphi\) or \(\models_{x \sqcup y}^\mathfrak{M} \psi\) \end{itemize} As usual, formula \(\varphi\) is valid in model \(\mathfrak{M}\) if \(\models_0^\mathfrak{M} \varphi\). It is proven that semilattice models form a sound and complete semantics for \(\mathbf{J}\). If we add to definition of model restriction \(x \in V(P)\) implies \(x \sqcup y \in V(p)\), we obtain a sound and complete semantics for Jankov's logic.