A conservative negation extension of positive semilattice logic without the finite model property

DOI10.1007/s11225-020-09903-4OpenAlexW3012424420MaRDI QIDQ2021561

Yale Weiss

Publication date: 27 April 2021

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-020-09903-4

zbMATH Keywords

sequent calculusfinite model propertynegationdecision problemconservative extensionsemilattice logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (1)

A reinterpretation of the semilattice semantics with applications

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Four relevant Gentzen systems
• The finite model property for BCK and BCIW
• Proofs and countermodels in non-classical logics
• The undecidability of entailment and relevant implication
• An incomplete decidable modal logic
• Proof Theories for Semilattice Logics
• An axiomatic version of positive semilattice relevance logic
• On semilattice relevant logics
• A Note on the Relevance of Semilattice Relevance Logic
• Completeness of weak implication
• Semantics for relevant logics

This page was built for publication: A conservative negation extension of positive semilattice logic without the finite model property