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

DOI10.1007/S11225-020-09903-4OpenAlexW3012424420MaRDI QIDQ2021561FDOQ2021561

Authors: 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

Recommendations

• Semicomplemented Lattices and the Finite Model Property
• Further Results on Proof Theories For Semilattice Logics
• scientific article; zbMATH DE number 1222494
• A paraconsistent extension of Sylvan’s logic
• scientific article; zbMATH DE number 5300189

zbMATH Keywords

negationconservative extensionsequent calculusfinite model propertydecision problemsemilattice logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Structural proof theory. With an appendix by Aarne Ranta
• The undecidability of entailment and relevant implication
• Proofs and countermodels in non-classical logics
• Semantics for relevant logics
• Proof Theories for Semilattice Logics
• An axiomatic version of positive semilattice relevance logic
• Four relevant Gentzen systems
• The finite model property for BCK and BCIW
• An incomplete decidable modal logic
• Title not available (Why is that?)
• Completeness of weak implication
• A Note on the Relevance of Semilattice Relevance Logic
• Relevance logic: problems open and closed
• On semilattice relevant logics

Cited In (1)

• A reinterpretation of the semilattice semantics with applications

Uses Software

• Pesca

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

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