An inquiry into the logic \texttt{subDLQ}

DOI10.1007/S10992-026-09842-WMaRDI QIDQ7302265zbMATH OpenFDO

Authors Tore Fjetland Øgaard

Publication date 22 July 2026

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S10992-026-09842-W

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• A note on contraction-free logic for validity
• Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs
• Completeness of relevant quantification theories
• Deduction Theorems for Relevant Logics
• Deduction Theorems for T, E and R Reconsidered
• Depth relevance of some paraconsistent logics
• Entailment generalized
• From Hilbert proofs to consecutions and back
• Fusion and confusion
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• Non-Boolean classical relevant logics. II: Classicality through truth-constants
• Note on deduction theorems in contraction-free logics
• On a suggested logic for paraconsistent mathematics
• On the `transitivity' of consequence relations
• Paradoxes and Inconsistent Mathematics
• Paths to triviality
• PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS
• Relevance logic (to appear)
• Rules in relevant logic. II: Formula representation
• Structural proof theory. With an appendix by Aarne Ranta
• The Logic of Entailment and its History
• The semantics and proof theory of linear logic
• The undecidability of Grišin's set theory
• Transfinite cardinals in paraconsistent set theory
• Transfinite numbers in paraconsistent set theory
• Whither relevance logic?

This page was built for publication: An inquiry into the logic \texttt{subDLQ}

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