 | Up a level |
Brünnler, Kai (2006). Cut elimination inside a deep inference system for classical predicate logic. Studia logica, 82(1), pp. 51-71. Dordrecht: Springer Science + Business Media 10.1007/s11225-006-6605-4
Stouppa, Phiniki (2007). A deep inference system for the modal logic S5. Studia logica, 85(2), pp. 199-214. Dordrecht: Kluwer Academic Publishers 10.1007/s11225-007-9028-y
Alberucci, Luca; Facchini, Alessandro (2009). On Modal mu-Calculus and Gödel-Löb Logic. Studia logica, 91(2), pp. 145-169. Dordrecht: Springer Netherlands 10.1007/s11225-009-9170-9
Fermüller, Christian G.; Metcalfe, George (2009). Giles's Game and the Proof Theory of Lukasiewicz Logic. Studia logica, 92(1), pp. 27-61. Dordrecht: Springer Science + Business Media 10.1007/s11225-009-9185-2
Studer, Thomas (2008). On the proof theory of the modal mu-calculus. Studia logica, 89(3), pp. 343-363. Dordrecht: Springer Netherlands 10.1007/s11225-008-9133-6
Bonzio, Stefano; Gil Férez, José; Paoli, Francesco; Peruzzi, Luisa (2017). On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis. Studia logica, 105(2), pp. 253-297. Springer Science + Business Media 10.1007/s11225-016-9689-5
Spinks, M.; Veroff, R. (2008). Constructive Logic with Strong Negation is a Substructural Logic. II. Studia logica, 89(3), pp. 401-425. Springer Science + Business Media 10.1007/s11225-008-9138-1
Gil-Férez, José; Möllerström Lauridsen, Frederik; Metcalfe, George (2020). Integrally Closed Residuated Lattices. Studia logica, 108(5), pp. 1063-1086. Springer Science + Business Media 10.1007/s11225-019-09888-9
Bílková, Marta; Colacito, Almudena (2020). Proof theory for positive logic with weak negation. Studia logica, 108(4), pp. 649-686. Springer Science + Business Media 10.1007/s11225-019-09869-y
Fussner, Daniel (2022). Poset Products as Relational Models. Studia logica, 110(1), pp. 95-120. Springer Science + Business Media 10.1007/s11225-021-09956-z
