Dyckhoff, Roy; Negri, Sara Geometrisation of first-order logic. (English) Zbl 1368.03013 Bull. Symb. Log. 21, No. 2, 123-163 (2015). MSC: 03B10 03F05 03B20 03B45 03C07 PDFBibTeX XMLCite \textit{R. Dyckhoff} and \textit{S. Negri}, Bull. Symb. Log. 21, No. 2, 123--163 (2015; Zbl 1368.03013) Full Text: DOI Link
Dyckhoff, Roy; Negri, Sara Proof analysis in intermediate logics. (English) Zbl 1241.03068 Arch. Math. Logic 51, No. 1-2, 71-92 (2012). Reviewer: G. E. Mints (Stanford) MSC: 03F05 03B20 03B45 03B55 03F03 PDFBibTeX XMLCite \textit{R. Dyckhoff} and \textit{S. Negri}, Arch. Math. Logic 51, No. 1--2, 71--92 (2012; Zbl 1241.03068) Full Text: DOI
Sadrzadeh, Mehrnoosh; Dyckhoff, Roy Positive logic with adjoint modalities: proof theory, semantics, and reasoning about information. (English) Zbl 1211.03040 Rev. Symb. Log. 3, No. 3, 351-373 (2010). MSC: 03B45 03B42 68T27 68T42 PDFBibTeX XMLCite \textit{M. Sadrzadeh} and \textit{R. Dyckhoff}, Rev. Symb. Log. 3, No. 3, 351--373 (2010; Zbl 1211.03040) Full Text: DOI
Sadrzadeh, Mehrnoosh; Dyckhoff, Roy Positive logic with adjoint modalities: proof theory, semantics and reasoning about information. (English) Zbl 1337.03031 Abramsky, Samson (ed.) et al., Proceedings of the 25th conference on the mathematical foundations of programming semantics (MFPS 2009), Oxford, UK, April 3–7, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 249, 451-470 (2009). MSC: 03B45 03B42 03G10 03F05 68T27 68T42 PDFBibTeX XMLCite \textit{M. Sadrzadeh} and \textit{R. Dyckhoff}, Electron. Notes Theor. Comput. Sci. 249, 451--470 (2009; Zbl 1337.03031) Full Text: DOI
Dyckhoff, Roy; Negri, Sara Decision methods for linearly ordered Heyting algebras. (English) Zbl 1093.03005 Arch. Math. Logic 45, No. 4, 411-422 (2006). MSC: 03B25 06D20 PDFBibTeX XMLCite \textit{R. Dyckhoff} and \textit{S. Negri}, Arch. Math. Logic 45, No. 4, 411--422 (2006; Zbl 1093.03005) Full Text: DOI
Dyckhoff, Roy; Negri, Sara Admissibility of structural rules for contraction-free systems of intuitionistic logic. (English) Zbl 0973.03010 J. Symb. Log. 65, No. 4, 1499-1518 (2000). Reviewer: Osamu Sonobe (Follonica) MSC: 03B20 03B47 03F05 PDFBibTeX XMLCite \textit{R. Dyckhoff} and \textit{S. Negri}, J. Symb. Log. 65, No. 4, 1499--1518 (2000; Zbl 0973.03010) Full Text: DOI