Browsing Bulletin of the Section of Logic 44/3-4 (2015) by Subject

Now showing items 1-10 of 10

Subject
cut admissibility [1]
cut elimination [1]
first-order logic [1]
GL [1]
Modal logic [1]
proof theory [1]
provability logic [1]
QGL [1]
sequent calculus [1]
Łukasiewicz’s logics [1]