Free semantics
From MaRDI portal
Publication:600848
DOI10.1007/S10992-010-9129-3zbMATH Open1207.03029OpenAlexW3191556438MaRDI QIDQ600848FDOQ600848
Authors: 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
Recommendations
- Normalized natural deduction systems for some relevant logics I: The logic DW
- On dialogues and ontology, the dialogical approach to free logic
- Natural deduction and sequent calculus for intuitionistic relevant logic
- A sequent calculus for a negative free logic
- Proto-semantics for positive free logic
Cites Work
- Universal logic
- A metacompleteness theorem for contraction-free relevant logics
- Validity concepts in proof-theoretic semantics
- Title not available (Why is that?)
- Depth relevance of some paraconsistent logics
- Title not available (Why is that?)
- Models for entailment
- Gentzenizations of relevant logics without distribution. I
- Title not available (Why is that?)
- Distribution in the logic of meaning containment and in quantum mechanics
- Normalized natural deduction systems for some relevant logics I: The logic DW
Cited In (5)
This page was built for publication: Free semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q600848)