Labelling ideality and subideality
From MaRDI portal
Publication:4632306
DOI10.1007/3-540-61313-7_80zbMath1419.68089WikidataQ58177168 ScholiaQ58177168MaRDI QIDQ4632306
Publication date: 29 April 2019
Published in: Practical Reasoning (Search for Journal in Brave)
Full work available at URL: https://espace.library.uq.edu.au/view/UQ:9687/fapr96.pdf
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Proof methods for modal and intuitionistic logics
- First-order modal tableaux
- A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics
- Semantics-Based Translation Methods for Modal Logics
- The Taming of the Cut. Classical Refutations with Analytic Cut