A reinterpretation of the semilattice semantics with applications

DOI10.1007/S11787-021-00273-6MaRDI QIDQ2045003zbMATH OpenOpenAlexFDO

Publication date 11 August 2021

Published in Logica Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11787-021-00273-6

BHK semantics constructive logic intuitionistic logic relevance logic semilattice semantics truthmaker semantics

Subsystems of classical logic (including intuitionistic logic) (03B20) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Intermediate logics (03B55) Semilattices (06A12)

Review text

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.

Recommendations

Cites work

Cited in

(13)

This page was built for publication: A reinterpretation of the semilattice semantics with applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2045003)