Lescanne, Pierre Almost all classical theorems are intuitionistic. (English) Zbl 07644261 RAIRO, Theor. Inform. Appl. 56, Paper No. 9, 12 p. (2022). MSC: 03F55 06E30 05-04 05-08 11B73 PDFBibTeX XMLCite \textit{P. Lescanne}, RAIRO, Theor. Inform. Appl. 56, Paper No. 9, 12 p. (2022; Zbl 07644261) Full Text: DOI arXiv
Zeilberger, Noam A sequent calculus for a semi-associative law. (English) Zbl 1515.03223 Log. Methods Comput. Sci. 15, No. 1, Paper No. 9, 23 p. (2019). MSC: 03F52 03F05 03B40 06A07 PDFBibTeX XMLCite \textit{N. Zeilberger}, Log. Methods Comput. Sci. 15, No. 1, Paper No. 9, 23 p. (2019; Zbl 1515.03223) Full Text: arXiv
Zeilberger, Noam A sequent calculus for a semi-associative law. (English) Zbl 1434.03140 Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 33, 16 p. (2017). MSC: 03F52 03B40 03B47 03F05 06A07 PDFBibTeX XMLCite \textit{N. Zeilberger}, LIPIcs -- Leibniz Int. Proc. Inform. 84, Article 33, 16 p. (2017; Zbl 1434.03140) Full Text: DOI
Méhats, Laurent; Straßburger, Lutz Non-crossing tree realizations of ordered degree sequences. (English) Zbl 1485.03071 Amblard, Maxime (ed.) et al., Logical aspects of computational linguistics. Celebrating 20 years of LACL (1996–2016). 9th international conference, LACL 2016, Nancy, France, December 5–7, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10054, 211-227 (2016). MSC: 03B65 03G30 03F07 PDFBibTeX XMLCite \textit{L. Méhats} and \textit{L. Straßburger}, Lect. Notes Comput. Sci. 10054, 211--227 (2016; Zbl 1485.03071) Full Text: DOI HAL
Göös, Mika; Suomela, Jukka Locally checkable proofs in distributed computing. (English) Zbl 1401.68085 Theory Comput. 12, Paper No. 19, 33 p. (2016). MSC: 68Q10 03F20 68Q15 68Q25 68R10 68W15 PDFBibTeX XMLCite \textit{M. Göös} and \textit{J. Suomela}, Theory Comput. 12, Paper No. 19, 33 p. (2016; Zbl 1401.68085) Full Text: DOI
Čačić, Vedran; Kovač, Vjekoslav On the share of closed \(\mathsf {IL}\) formulas which are also in \(\mathsf {GL}\). (English) Zbl 1341.03091 Arch. Math. Logic 54, No. 7-8, 741-767 (2015). Reviewer: Andrzej Indrzejczak (Łódź) MSC: 03F45 03B45 05A16 PDFBibTeX XMLCite \textit{V. Čačić} and \textit{V. Kovač}, Arch. Math. Logic 54, No. 7--8, 741--767 (2015; Zbl 1341.03091) Full Text: DOI arXiv