×

Found 20 Documents (Results 1–20)

From cut-free calculi to automated deduction: the case of bounded contraction. (English) Zbl 1401.03034

Nigam, Vivek (ed.) et al., Proceedings of the 11th workshop on logical and semantic frameworks, with applications (LSFA 2016), Porto, Portugal, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 332, 75-93 (2017).
MSC:  03B35 03B47 03F20 03F52 68T15
PDFBibTeX XMLCite
Full Text: DOI

Tools for the investigation of substructural and paraconsistent logics. (English) Zbl 1432.68547

Fermé, Eduardo (ed.) et al., Logics in artificial intelligence. 14th European conference, JELIA 2014, Funchal, Madeira, Portugal, September 24–26, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8761, 18-32 (2014).
MSC:  68V99 03B47 03B53
PDFBibTeX XMLCite
Full Text: DOI

Basic constructive connectives, determinism and matrix-based semantics. (English) Zbl 1333.03237

Brünnler, Kai (ed.) et al., Automated reasoning with analytic tableaux and related methods. 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4–8, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22118-7/pbk). Lecture Notes in Computer Science 6793. Lecture Notes in Artificial Intelligence, 119-133 (2011).
MSC:  03F05
PDFBibTeX XMLCite
Full Text: DOI

Expanding the realm of systematic proof theory. (English) Zbl 1257.03084

Grädel, Erich (ed.) et al., Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04026-9/pbk). Lecture Notes in Computer Science 5771, 163-178 (2009).
MSC:  03F03 03F52
PDFBibTeX XMLCite
Full Text: DOI

Canonical calculi: invertibility, axiom expansion and (non)-determinism. (English) Zbl 1248.03075

Frid, Anna (ed.) et al., Computer science – theory and applications. Fourth international computer science symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18–23, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03350-6/pbk). Lecture Notes in Computer Science 5675, 26-37 (2009).
MSC:  03F05
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software