Browsing Bulletin of the Section of Logic 49/3 (2020) by Subject
Now showing items 1-20 of 21
Subject |
---|
Beth semantics [1] |
co-negation [1] |
completness [1] |
computational complexity [1] |
effect algebra [1] |
effect module [1] |
empirical negation [1] |
equality logic [1] |
intuitionism [1] |
Kripke semantics [1] |
many-valued logic [1] |
minimal logic [1] |
modal logic [1] |
natural deduction [1] |
prelinear equality∆ logic [1] |
prelinear equality∆-algebra [1] |
product effect algebra [1] |
scope of □ [1] |
sequent calculus [2] |
subformula property [1] |