A conservative negation extension of positive semilattice logic without the finite model property
type: Item
instance of: scholarly article
title: A conservative negation extension of positive semilattice logic without the finite model property
author: Yale Weiss
published in: Studia Logica
publication date: 2021-04-27T00:00:00Z
Mathematics Subject Classification ID: 03-XX
zbMATH DE Number: 7339952
zbMATH Keywords: semilattice logic
zbMATH Keywords: finite model property
zbMATH Keywords: negation
zbMATH Keywords: sequent calculus
zbMATH Keywords: conservative extension
zbMATH Keywords: decision problem
describes a project that uses: Pesca
MaRDI profile type: Publication
full work available at URL: s11225-020-09903-4
OpenAlex ID: W3012424420
cites work: An axiomatic version of positive semilattice relevance logic
cites work: An incomplete decidable modal logic
cites work: Four relevant Gentzen systems
cites work: Proof Theories for Semilattice Logics
cites work: On semilattice relevant logics
cites work: Q4428879
cites work: The finite model property for BCK and BCIW
cites work: Proofs and countermodels in non-classical logics
cites work: Structural proof theory. With an appendix by Aarne Ranta
cites work: Semantics for relevant logics
cites work: The undecidability of entailment and relevant implication
cites work: Q2966516
cites work: Completeness of weak implication
cites work: A Note on the Relevance of Semilattice Relevance Logic
DOI: 10.1007/S11225-020-09903-4
description: scientific article; zbMATH DE number 7339952