Models for official entailment

DOI10.1017/S1755020325100762MaRDI QIDQ6913432zbMATH OpenFDO

Authors Tore Fjetland Øgaard

Publication date 21 October 2025

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/S1755020325100762

zbMATH Keywords

\textbf{E}frame semanticslogical consequencepropositional constantrelevant logicstrong completeness

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Cites work

• A metacompleteness theorem for contraction-free relevant logics
• E, R AND γ
• E-theories
• Fine's semantics for relevance logic and its relevance
• Handbook of philosophical logic. Vol. 6
• scientific article; zbMATH DE number 3134289 (Why is no real title available?)
• scientific article; zbMATH DE number 3891328 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 1874095 (Why is no real title available?)
• scientific article; zbMATH DE number 7576843 (Why is no real title available?)
• Linear arithmetic desecsed
• Models for entailment
• Models for substructural arithmetics
• Negation on the Australian plan
• Non-Boolean classical relevant logics. II: Classicality through truth-constants
• Notes on Inconsistent Set Theory
• Paraconsistent set theory
• Real analysis in paraconsistent logic
• Relevance logic (to appear)
• Relevant Robinson's arithmetic
• Simplified semantics for basic relevant logics
• Simplified semantics for further relevant logics. I: Unreduced semantics for \(\mathbf{E}\) and \(\boldsymbol{\Pi}'\)
• Simplified semantics for further relevant logics. II: Propositional constants
• Simplified semantics for relevant logics (and some of their rivals)
• Situations, propositions, and information states
• The difficulties in using weak relevant logics for naive set theory
• The Logic of Entailment and its History
• The Semantics of First Degree Entailment
• Universal logic
• What is relevance logic?

This page was built for publication: Models for official entailment

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