Further Results on Proof Theories For Semilattice Logics

DOI10.1002/MALQ.19880340404zbMATH Open0627.03006OpenAlexW2030967759MaRDI QIDQ3030795FDOQ3030795

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

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

zbMATH Keywords

commutative monoidsemilattice relevant logicsdistributive semilatticescontractionless logics

Mathematics Subject Classification ID

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

Cited In (14)

• Title not available (Why is that?)
• Survey of generalizations of Urquhart semantics
• TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS
• Title not available (Why is that?)
• 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
• Completeness of implicational relevant logics
• A reinterpretation of the semilattice semantics with applications
• Revisiting Semilattice Semantics
• A contractionless 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)