Vol 24, No 1 (2015)
User
Language
Keywords
conditional logic
connexive logic
constructions
cut elimination
decidability
information
logic
mereology
modal logic
modal logics
natural deduction
paraconsistency
paraconsistent logic
self-reference
sequent calculi
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
