External Links

    Journal: Journal of Logic and Computation

    Volume 34, Issue 1

    1 -- 32Petr Kuchynka, Jirí Raclavský. Completeness in partial type theory
    33 -- 74Glenn Blanchette, Anthony Robins. Modelling Supra-Classical Logic in a Boltzmann Neural Network: II Incongruence
    75 -- 124Johan van Benthem, Nick Bezhanishvili. Modal structures in groups and vector spaces
    125 -- 160Henry Towsner. What do ultraproducts remember about the original structures?
    161 -- 179Federico Matias Pailos. On all pure three-valued logics
    180 -- 196Jim de Groot. Non-distributive positive logic as a fragment of first-order logic over semilattices
    runs on