Simplified semantics for further relevant logics. II: Propositional constants

DOI10.12775/LLP.2024.022MaRDI QIDQ6963314zbMATH OpenFDO

Authors Tore Fjetland Øgaard

Publication date 7 July 2025

Published in Logic and Logical Philosophy (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NoDerivs 4.0 International

Full work available at URL https://doi.org/10.12775/LLP.2024.022

zbMATH Keywords

propositional constantsrelevant logicssimplified Routley-Meyer semantics

Mathematics Subject Classification ID

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

Cites work

• Begründung einer strengen Implikation
• Boolean negation and non-conservativity. I: Relevant modal logics
• E and S4
• E, R AND γ
• scientific article; zbMATH DE number 4137752 (Why is no real title available?)
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• Modalities in Ackermann's “rigorous implication”
• Negation on the Australian plan
• Non-Boolean classical relevant logics. I
• Non-Boolean classical relevant logics. II: Classicality through truth-constants
• Simplified semantics for basic relevant logics
• Simplified semantics for further relevant logics. II: Propositional constants
• Simplified semantics for relevant logics (and some of their rivals)
• Transfinite numbers in paraconsistent set theory

Cited in

(3)

• Models for official entailment
• Simplified semantics for further relevant logics. II: Propositional constants
• Simplified semantics for further relevant logics. I: Unreduced semantics for \(\mathbf{E}\) and \(\boldsymbol{\Pi}'\)

This page was built for publication: Simplified semantics for further relevant logics. II: Propositional constants

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