On semilattice relevant logics

DOI10.1002/MALQ.200310043MaRDI QIDQ4419270zbMATH OpenOpenAlexFDO

Authors Ryo Kashima

Publication date 31 July 2003

Published in MLQ (Search for Journal in Brave)

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

zbMATH Keywords

relevant logicssemantics

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• Proof Theories for Semilattice Logics
• Further Results on Proof Theories For Semilattice Logics
• A contractionless semilattice semantics
• scientific article; zbMATH DE number 1222494
• A reinterpretation of the semilattice semantics with applications

Cited in

(20)

• Sequent-systems and groupoid models. I
• A semantical investigation on Brouwer-Zadeh logic
• Semantic properties of T-consequence relation in logics of quasiary predicates
• A conservative negation extension of positive semilattice logic without the finite model property
• A reinterpretation of the semilattice semantics with applications
• On semilattice-based logics with an algebraizable assertional companion
• Further Results on Proof Theories For Semilattice Logics
• Relevant logics obeying component homogeneity
• Proof Theories for Semilattice Logics
• A contractionless semilattice semantics
• scientific article; zbMATH DE number 1735908 (Why is no real title available?)
• scientific article; zbMATH DE number 2062214 (Why is no real title available?)
• Logics of varieties, logics of semilattices and conjunction
• scientific article; zbMATH DE number 1377711 (Why is no real title available?)
• Revisiting Semilattice Semantics
• A Note on the Relevance of Semilattice Relevance Logic
• Semi-implication: a chapter in universal logic
• scientific article; zbMATH DE number 6287611 (Why is no real title available?)
• Fusion, fission, and Ackermann's truth constant in relevant logics: a proof-theoretic investigation
• Beyond semantic pollution: towards a practice-based philosophical analysis of labelled calculi

This page was built for publication: On semilattice relevant logics

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