Revisiting Semilattice Semantics

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

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

operational semanticsframe theoryrelevant logicssemilattice semanticscollection frames

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Propositional logics of dependence
• Weak negation in inquisitive semantics
• A generalization of inquisitive semantics
• A general characterization of the variable-sharing property by means of logical matrices
• On the ternary relation and conditionality
• The simple consistency of naive set theory using metavaluations
• Inquisitive logic
• Extensionality and restriction in naive set theory
• Operational semantics for positive R
• Multiset theory
• Sequent-systems and groupoid models. I
• Models for entailment
• The semantics of entailment. II
• The semantics of entailment. III
• Basic conditional logic
• Sequent-systems and groupoid models. II
• Handbook of philosophical logic. Vol. 6
• TRANSFINITE CARDINALS IN PARACONSISTENT SET THEORY
• Further Results on Proof Theories For Semilattice Logics
• 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"
• TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORY
• The undecidability of entailment and relevant implication
• Completeness Results for Lambek Syntactic Calculus
• Proof Theories for Semilattice Logics
• A contractionless semilattice semantics
• An axiomatic version of positive semilattice relevance logic
• On semilattice relevant logics
• METAVALUATIONS
• Inquisitive Semantics
• Notes on Inconsistent Set Theory
• A Note on the Relevance of Semilattice Relevance Logic
• Larisa Maksimova’s Early Contributions to Relevance Logic
• Supervenience, Dependence, Disjunction
• SUBSTRUCTURAL INQUISITIVE LOGICS
• Semantics for relevant logics