A contractionless semilattice semantics

DOI10.2307/2274399MaRDI QIDQ3762287zbMATH OpenOpenAlexFDO

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

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)

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

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)