Revisiting Semilattice Semantics

DOI10.1007/978-3-030-71430-7_7OpenAlexW3204172258MaRDI QIDQ5027237FDOQ5027237

Authors: Shawn Standefer 

Publication date: 4 February 2022

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-71430-7_7

Recommendations

• A reinterpretation of the semilattice semantics with applications
• On semilattice relevant logics
• A contractionless semilattice semantics
• Reexamination of Tarski's semantics
• scientific article; zbMATH DE number 1231677
• A Note on the Relevance of Semilattice Relevance Logic
• Symbolic Semantics Revisited
• Semi-stable semantics
• Modal Semirings Revisited
• Relational semantics revisited

zbMATH Keywords

operational semanticsframe theoryrelevant logicssemilattice semanticscollection frames

Mathematics Subject Classification ID

General logic (03Bxx) Algebraic logic (03Gxx)

Cites Work

• Title not available (Why is that?)
• The semantics of entailment. II
• The semantics of entailment. III
• Transfinite cardinals in paraconsistent set theory
• The connectives
• Universal logic
• Transfinite numbers in paraconsistent set theory
• Title not available (Why is that?)
• The undecidability of entailment and relevant implication
• Title not available (Why is that?)
• Title not available (Why is that?)
• Propositional logics of dependence
• Inquisitive logic
• Multiset theory
• Weak negation in inquisitive semantics
• Title not available (Why is that?)
• Inquisitive semantics
• The simple consistency of naive set theory using metavaluations
• Extensionality and restriction in naive set theory
• A generalization of inquisitive semantics
• Basic conditional logic
• Completeness Results for Lambek Syntactic Calculus
• Sequent-systems and groupoid models. I
• Handbook of philosophical logic. Vol. 6
• Semantics for relevant logics
• A general characterization of the variable-sharing property by means of logical matrices
• Models for entailment
• Sequent-systems and groupoid models. II
• On the ternary relation and conditionality
• Proof Theories for Semilattice Logics
• A contractionless semilattice semantics
• An axiomatic version of positive semilattice relevance logic
• Title not available (Why is that?)
• SUBSTRUCTURAL INQUISITIVE LOGICS
• Title not available (Why is that?)
• Operational semantics for positive R
• A Note on the Relevance of Semilattice Relevance Logic
• Relevance logic: problems open and closed
• Further Results on Proof Theories For Semilattice Logics
• On semilattice relevant logics
• Larisa Maksimova’s Early Contributions to Relevance Logic
• Supervenience, dependence, disjunction
• A class of simpler logical matrices for the variable-sharing property
• Metavaluations
• Two manuscripts, one by Routley, one by Meyer: the origins of the Routley-Meyer semantics for relevance logics
• Richard Routley, "Semantic Analysis of Entailment and Relevant Implication: I"
• Notes on Inconsistent Set Theory

Cited In (4)

• Failures semantics based on interval semiwords is a congruence for refinement
• Multiset-multiset frames
• Title not available (Why is that?)
• Tie-breaking semantics and structural totality

This page was built for publication: Revisiting Semilattice Semantics

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