Semantics for second-order relevant logics

DOI10.1007/978-3-031-69940-5_8MaRDI QIDQ6943389zbMATH OpenFDO

Authors Shay Allen Logan

Publication date 13 August 2025

Mathematics Subject Classification ID

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

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?)
• A content semantics for quantified relevant logics. II
• Models for entailment
• Notes on stratified semantics
• Relevance logic (to appear)
• Robert Meyer's publications on relevant arithmetic
• Second-order logic of paradox
• Semantics for quantified relevance logic
• The simple consistency of naive set theory using metavaluations
• Universal logic

This page was built for publication: Semantics for second-order relevant logics

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