Output details
32 - Philosophy
University of Stirling
Return to search
Output 0 of 0 in the submission
Article title
Subformula and separation properties in natural deduction via small Kripke models
Type
D - Journal article
Title of journal
Review of Symbolic Logic
Article number
-
Volume number
3
Issue number
2
First page of article
175
ISSN of journal
1755-0203
Year of publication
2010
Number of additional authors
0
Additional information
-
Interdisciplinary
-
Cross-referral requested
-
Research group
1 - PHILOSOPHY
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-