Further Results on Proof Theories For Semilattice Logics

DOI10.1002/MALQ.19880340404MaRDI QIDQ3030795zbMATH OpenOpenAlexFDO

Authors Robert K. Meyer, Steve Giambrone, Alasdair Urquhart, Errol P. Martin

Publication date 1988

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19880340404

zbMATH Keywords

commutative monoidsemilattice relevant logicsdistributive semilatticescontractionless logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• Proof Theories for Semilattice Logics
• A contractionless semilattice semantics
• On semilattice relevant logics
• scientific article; zbMATH DE number 1222494
• Operational semantics for positive R

Cited in

(14)

• A contractionless semilattice semantics
• scientific article; zbMATH DE number 4029553 (Why is no real title available?)
• Survey of generalizations of Urquhart semantics
• TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS
• scientific article; zbMATH DE number 3961578 (Why is no real title available?)
• On semilattice relevant logics
• Operational semantics for positive R
• Proof Theories for Semilattice Logics
• Solutions to some open problems from Slaney
• Sequent-systems and groupoid models. II
• A Logical Autobiography
• A reinterpretation of the semilattice semantics with applications
• Completeness of implicational relevant logics
• Revisiting Semilattice Semantics

This page was built for publication: Further Results on Proof Theories For Semilattice Logics

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