Vol 22, No 4 (2013)
User
Language
Keywords
Transparent Intensional Logic
connexive logic
contradiction
cut elimination
decidability
information
logic
mereology
modal logic
modal logics
models
natural deduction
paraconsistency
paraconsistent logic
relevant logics
sequent calculus
temporal logic
three-valued logic
truth
undecidability
vagueness
Information
The journal content is indexed in CrossCheck, the CrossRef initiative to prevent scholarly and professional plagiarism
