A content semantics for quantified relevant logics. II

DOI10.1007/BF02770515zbMath0696.03003OpenAlexW2022800703MaRDI QIDQ910392

Ross T. Brady

Publication date: 1989

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02770515

zbMATH Keywords

reduced modelsalgebraic semanticscontent semanticsfirst- order extensions of BBQquantified relevant logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Related Items (6)

Neighbourhood semantics for quantified relevant logics ⋮ Varieties of Relevant S5 ⋮ Comparing Contents with Information ⋮ Identity in Mares-Goldblatt models for quantified relevant logic ⋮ Notes on stratified semantics ⋮ Logic—The Big Picture

Cites Work

• On 2nd order intuitionistic propositional calculus with full comprehension
• Unnamed Item
• Unnamed Item

This page was built for publication: A content semantics for quantified relevant logics. II