Neighbourhood semantics for quantified relevant logics
From MaRDI portal
Publication:2144203
Recommendations
Cites work
- A content semantics for quantified relevant logics. I
- A content semantics for quantified relevant logics. II
- An admissible semantics for propositionally quantified relevant logics
- An alternative semantics for quantified relevant logic
- Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics
- General information in relevant logic
- Generalized Galois logics. Relational semantics of nonclassical logical calculi
- 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 3490942 (Why is no real title available?)
- scientific article; zbMATH DE number 3611331 (Why is no real title available?)
- scientific article; zbMATH DE number 549966 (Why is no real title available?)
- scientific article; zbMATH DE number 596497 (Why is no real title available?)
- scientific article; zbMATH DE number 1907195 (Why is no real title available?)
- scientific article; zbMATH DE number 6965723 (Why is no real title available?)
- Hyperdoctrines and the ontology of stratified semantics
- Identity in Mares-Goldblatt models for quantified relevant logic
- Identity in relevant logics: a relevant predication approach
- Information flow in logics in the vicinity of \textbf{BB}
- Neighborhood semantics for modal logic
- Neighborhoods for entailment
- Quantifiers, propositions and identity. Admissible semantics for quantified modal and substructural logics
- Semantics for quantified relevance logic
- The connectives
- Tracking reasons with extensions of relevant logics
Cited in
(9)- Neighbourhood semantics for modal relevant logics
- An alternative semantics for quantified relevant logic
- QUANTIFIED MODAL RELEVANT LOGICS
- One variable relevant logics are S5Ish
- First-order relevant reasoners in classical worlds
- -admissibility in first-order relevant logics: proof using normal models in the Mares-Goldblatt setting
- Fusion, fission, and Ackermann's truth constant in relevant logics: a proof-theoretic investigation
- Quantified modal relevant logics. II: Welcome to the neighbourhood
- Polyadic De Morgan monoids: functional representation and MG structures
This page was built for publication: Neighbourhood semantics for quantified relevant logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2144203)
