Login / Signup
Julien Truffaut
Publication Activity (10 Years)
Years Active: 2012-2013
Publications (10 Years): 0
Top Topics
Reasoning Problems
Communicative Acts
Proof Theory
Modal Operators
Top Venues
ACM Trans. Comput. Log.
MFPS
</>
Publications
</>
Roy Dyckhoff
,
Mehrnoosh Sadrzadeh
,
Julien Truffaut
Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators.
ACM Trans. Comput. Log.
14 (4) (2013)
Roy Dyckhoff
,
Mehrnoosh Sadrzadeh
,
Julien Truffaut
Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators.
MFPS
(2012)