A reinterpretation of the semilattice semantics with applications

DOI10.1007/S11787-021-00273-6zbMATH Open1491.03019OpenAlexW3154940237MaRDI QIDQ2045003FDOQ2045003

Yale Weiss

Publication date: 11 August 2021

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-021-00273-6

Recommendations

• On semilattice relevant logics
• A contractionless semilattice semantics
• Further Results on Proof Theories For Semilattice Logics
• Operational semantics for positive R
• On some semi-intuitionistic logics

zbMATH Keywords

constructive logicintuitionistic logicrelevance logicBHK semanticssemilattice semanticstruthmaker semantics

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55) Semilattices (06A12)

Cites Work

• Lattice Theory: Foundation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Explicit provability and constructive semantics
• Truth-maker semantics for intuitionistic logic
• An intuitiomstic completeness theorem for intuitionistic predicate logic
• Semantics for relevant logics
• Models for entailment
• Truthmaker semantics for relevant logic
• Title not available (Why is that?)
• On when a semantics is not a semantics: some reasons for disliking the Routley-Meyer semantics for relevance logic
• Proof Theories for Semilattice Logics
• A contractionless semilattice semantics
• Completeness of weak implication
• Operational semantics for positive R
• A Note on the Relevance of Semilattice Relevance Logic
• On semilattice relevant logics
• A conservative negation extension of positive semilattice logic without the finite model property

Cited In (8)

• Failures semantics based on interval semiwords is a congruence for refinement
• A Principle-Based Analysis of Weakly Admissible Semantics
• Semantics with applications: an appetizer.
• On semilattice relevant logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Revisiting Semilattice Semantics
• Title not available (Why is that?)

This page was built for publication: A reinterpretation of the semilattice semantics with applications

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