A reinterpretation of the semilattice semantics with applications

DOI10.1007/S11787-021-00273-6zbMath1491.03019OpenAlexW3154940237MaRDI QIDQ2045003

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

zbMATH Keywords

intuitionistic logicrelevance logicconstructive logicBHK semanticssemilattice semanticstruthmaker semantics

Mathematics Subject Classification ID

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

Cites Work

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

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