×

Found 14 Documents (Results 1–14)

Elementary elimination of prenex cuts in disjunction-free intuitionistic logic. (English) Zbl 1373.03122

Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 94-109 (2015).
MSC:  03F05 03B20 03F20
PDFBibTeX XMLCite
Full Text: DOI

On interpolation in existence logics. (English) Zbl 1143.03325

Sutcliffe, Geoff (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2–6, 2005. Proceedings. Berlin: Springer (ISBN 978-3-540-30553-8/pbk). Lecture Notes in Computer Science 3835, 697-711 (2005).
MSC:  03B20 03C40 03F05
PDFBibTeX XMLCite
Full Text: DOI

On the undecidability of some sub-classical first-order logics. (English) Zbl 0952.03003

Pandu Rangan, C. (ed.) et al., Foundations of software technology and theoretical computer science. 19th conference, Chennai, India, December 13-15, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1738, 258-268 (1999).
PDFBibTeX XMLCite

Combining many-valued and intuitionistic tableaux. (English) Zbl 1415.03016

Migliolo, P. (ed.) et al., Theorem proving with analytic tableaux and related methods. 5th international workshop, TABLEAUX ’96, Terrasini, Palermo, Italy, May 15–17, 1996. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 1071, 65-79 (1996).
MSC:  03B35 03B20 03B50
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field