Revisiting Semilattice Semantics

DOI10.1007/978-3-030-71430-7_7MaRDI QIDQ5027237zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

collection framesframe theoryoperational semanticsrelevant logicssemilattice semantics

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(5)

• scientific article; zbMATH DE number 3846843 (Why is no real title available?)
• Multiset-multiset frames
• Tie-breaking semantics and structural totality
• Relevant S is undecidable
• Failures semantics based on interval semiwords is a congruence for refinement

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)