A contractionless semilattice semantics

DOI10.2307/2274399zbMATH Open0624.03015OpenAlexW2080659650MaRDI QIDQ3762287FDOQ3762287

Authors: Steve Giambrone, Robert K. Meyer, Alasdair Urquhart 

Publication date: 1987

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274399

Recommendations

• scientific article; zbMATH DE number 1222494
• Further Results on Proof Theories For Semilattice Logics
• On semilattice relevant logics
• Proof Theories for Semilattice Logics
• Operational semantics for positive R

zbMATH Keywords

relevant logicssemilattice semanticscontractionless systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Cited In (12)

• Completeness and conservative extension results for some Boolean relevant logics
• Survey of generalizations of Urquhart semantics
• On semilattice relevant logics
• Four relevant Gentzen systems
• Operational semantics for positive R
• Proof Theories for Semilattice Logics
• Operational Semantics for Positive Relevant Logics Without Distribution
• A Logical Autobiography
• Further Results on Proof Theories For Semilattice Logics
• Semantical analysis of predicate logics without the contraction rule
• A reinterpretation of the semilattice semantics with applications
• Revisiting Semilattice Semantics

This page was built for publication: A contractionless semilattice semantics

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