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

contractionless systemsrelevant logicssemilattice semantics

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

(14)

• Semantical analysis of predicate logics without the contraction rule
• Survey of generalizations of Urquhart semantics
• Operational semantics for positive R
• A reinterpretation of the semilattice semantics with applications
• Further Results on Proof Theories For Semilattice Logics
• Proof Theories for Semilattice Logics
• scientific article; zbMATH DE number 1222494 (Why is no real title available?)
• On semilattice relevant logics
• A Logical Autobiography
• Revisiting Semilattice Semantics
• SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION
• Operational Semantics for Positive Relevant Logics Without Distribution
• Four relevant Gentzen systems
• Completeness and conservative extension results for some Boolean relevant logics

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)