A reinterpretation of the semilattice semantics with applications
DOI10.1007/S11787-021-00273-6zbMATH Open1491.03019OpenAlexW3154940237MaRDI QIDQ2045003FDOQ2045003
Authors: 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
constructive logicintuitionistic logicrelevance logicBHK semanticssemilattice semanticstruthmaker semantics
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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Note on the Relevance of Semilattice Relevance Logic
- A conservative negation extension of positive semilattice logic without the finite model property
- A contractionless semilattice semantics
- An intuitiomstic completeness theorem for intuitionistic predicate logic
- Completeness of weak implication
- Explicit provability and constructive semantics
- Lattice Theory: Foundation
- Models for entailment
- On semilattice relevant logics
- On when a semantics is not a semantics: some reasons for disliking the Routley-Meyer semantics for relevance logic
- Operational semantics for positive R
- Proof Theories for Semilattice Logics
- Semantics for relevant logics
- Truth-maker semantics for intuitionistic logic
- Truthmaker semantics for relevant logic
Cited In (11)
- Failures semantics based on interval semiwords is a congruence for refinement
- A Principle-Based Analysis of Weakly Admissible Semantics
- On some semi-intuitionistic logics
- Kripke semantics for intuitionistic Łukasiewicz logic
- Semantics with applications: an appetizer.
- On semilattice relevant logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Semi-intuitionistic logic
- 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)
