Notes on stratified semantics

DOI10.1007/S10992-018-9493-YMaRDI QIDQ2323698zbMATH OpenOpenAlexWikidataFDO

Authors Shay Allen Logan

Publication date 3 September 2019

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10992-018-9493-y

zbMATH Keywords

arbitrary objectsconstant domain semanticsquantificationquantified relevance logicsrelevance logicsstratified semanticsvarying domain semantics

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• Hyperdoctrines and the ontology of stratified semantics
• Semantics and Stratification
• scientific article; zbMATH DE number 1948998
• scientific article; zbMATH DE number 4147552
• A content semantics for quantified relevant logics. I

Cites work

• ``Four-valued semantics for the relevant logic R
• A content semantics for quantified relevant logics. I
• A content semantics for quantified relevant logics. II
• A metacompleteness theorem for contraction-free relevant logics
• An alternative semantics for quantified relevant logic
• Four-valued semantics for relevant logics (and some of their rivals)
• Handbook of philosophical logic. Vol. 5
• scientific article; zbMATH DE number 3891328 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 1907195 (Why is no real title available?)
• Intuitive semantics for first-degree entailments and `coupled trees'
• Metacompleteness
• Metavaluations
• Models for entailment
• On permutation in simplified semantics
• On the ternary relation and conditionality
• Philosophy of logic
• Recent Work in Relevant Logic
• Semantics for quantified relevance logic
• Semantics for relevance logic with identity
• Simplified semantics for relevant logics (and some of their rivals)
• The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics
• The semantics of entailment. II
• The semantics of entailment. III
• The Semantics of First Degree Entailment
• Varieties of logic

Cited in

(9)

• Identity in Mares-Goldblatt models for quantified relevant logic
• Hyperdoctrines and the ontology of stratified semantics
• Semantics and Stratification
• scientific article; zbMATH DE number 4147552 (Why is no real title available?)
• QUANTIFIED MODAL RELEVANT LOGICS
• Varieties of Relevant S5
• Deep fried logic
• Semantics for second-order relevant logics
• Polyadic De Morgan monoids: functional representation and MG structures

This page was built for publication: Notes on stratified semantics

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