×

Found 17 Documents (Results 1–17)

On the nature of combinatorial proofs. (English) Zbl 1505.03122

Sedlár, Igor (ed.) et al., The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. London: College Publications. 83-100 (2019).
MSC:  03F03 03F07
PDFBibTeX XMLCite

Towards a combinatorial proof theory. (English) Zbl 1468.03076

Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 259-276 (2019).
MSC:  03F07 03F52
PDFBibTeX XMLCite
Full Text: DOI Link

On combinatorial proofs for logics of relevance and entailment. (English) Zbl 07176915

Iemhoff, Rosalie (ed.) et al., Logic, language, information, and computation. 26th international workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2–5, 2019. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 11541, 1-16 (2019).
MSC:  03B47 03F07
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

all top 3

Main Field

all top 3

Software