Free semantics

DOI10.1007/S10992-010-9129-3zbMath1207.03029OpenAlexW3191556438MaRDI QIDQ600848

Ross T. Brady

Publication date: 3 November 2010

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

Full work available at URL: https://doi.org/10.1007/s10992-010-9129-3

zbMATH Keywords

relevant logictableau systementailment logicnormalized natural deductionreductio system

Mathematics Subject Classification ID

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

Related Items (5)

TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS ⋮ Comparing Contents with Information ⋮ Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs ⋮ FOUR BASIC LOGICAL ISSUES ⋮ Logic—The Big Picture

Cites Work

• A metacompleteness theorem for contraction-free relevant logics
• Depth relevance of some paraconsistent logics
• Models for entailment
• Validity concepts in proof-theoretic semantics
• Gentzenizations of relevant logics without distribution. I
• Distribution in the Logic of Meaning Containment and in Quantum Mechanics
• Normalized natural deduction systems for some relevant logics I: The logic DW
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Free semantics