Edit Profile (opens in new tab) Truffaut, Julien Co-Author Distance Author ID: truffaut.julien Published as: Truffaut, Julien Documents Indexed: 2 Publications since 2012 Co-Authors: 2 Co-Authors with 2 Joint Publications 54 Co-Co-Authors Co-Authors 0 single-authored 2 Dyckhoff, Roy 2 Sadrzadeh, Mehrnoosh Serials 1 ACM Transactions on Computational Logic Fields 2 Mathematical logic and foundations (03-XX) 2 Computer science (68-XX) Publications by Year Citations contained in zbMATH Open 2 Publications have been cited 2 times in 2 Documents Cited by ▼ Year ▼ Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators. Zbl 1353.68262 Dyckhoff, Roy; Sadrzadeh, Mehrnoosh; Truffaut, Julien 1 2013 Algebra, proof theory and applications for a logic of propositions, actions and adjoint modal operators. Zbl 1342.68311 Dyckhoff, Roy; Sadrzadeh, Mehrnoosh; Truffaut, Julien 1 2012 Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators. Zbl 1353.68262 Dyckhoff, Roy; Sadrzadeh, Mehrnoosh; Truffaut, Julien 1 2013 Algebra, proof theory and applications for a logic of propositions, actions and adjoint modal operators. Zbl 1342.68311 Dyckhoff, Roy; Sadrzadeh, Mehrnoosh; Truffaut, Julien 1 2012 Cited by 4 Authors 1 Dostál, Matěj 1 Sadrzadeh, Mehrnoosh 1 Wijnholds, Gijs Jasper 1 Wurm, Christian Cited in 1 Serial 1 Journal of Logic, Language and Information Cited in 1 Field 2 Mathematical logic and foundations (03-XX) Citations by Year