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

DOI10.1007/S11225-020-09903-4MaRDI QIDQ2021561zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

negationconservative extensionsequent calculusfinite model propertydecision problemsemilattice logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

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

Cites work

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

Cited in

(1)

• A reinterpretation of the semilattice semantics with applications

Describes a project that uses

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)