A content semantics for quantified relevant logics. II

DOI10.1007/BF02770515MaRDI QIDQ910392zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Structuralism, model theory and reduction
• Two applications of Boolean models
• A simple class of Kripke-style models in which logic and computation have equal standing
• Semantics engineering with PLT Redex
• First order languages: further syntax and semantics
• scientific article; zbMATH DE number 4039258
• Notes towards a semantics for proof-search
• A content semantics for quantified relevant logics. I
• On the convergence of reduction-based and model-based methods in proof theory
• A new theory of content. II: Model theory and some alternatives

Cites work

• scientific article; zbMATH DE number 3891328 (Why is no real title available?)
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• On 2nd order intuitionistic propositional calculus with full comprehension

Cited in

(10)

• Comparing contents with information
• Logic—The Big Picture
• An alternative semantics for quantified relevant logic
• Neighbourhood semantics for quantified relevant logics
• One variable relevant logics are S5Ish
• Varieties of Relevant S5
• Notes on stratified semantics
• A content semantics for quantified relevant logics. I
• Real reduced models for relevant logics without WI
• Identity in Mares-Goldblatt models for quantified relevant logic

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

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