×

zbMATH — the first resource for mathematics

Found 1,967 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Zach, Richard
The significance of the Curry-Howard isomorphism. (English) Zbl 07237980
Mras, Gabriele M. (ed.) et al., Philosophy of logic and mathematics. Proceedings of the 41st international Ludwig Wittgenstein symposium. Berlin: De Gruyter (ISBN 978-3-11-065430-1/hbk; 978-3-11-065788-3/ebook). Publications of the Austrian Ludwig Wittgenstein Society – New Series 27, 313-325 (2019).
MSC:  03B40 03F05 03A05
PDF BibTeX XML Cite
\textit{R. Zach}, in: Philosophy of logic and mathematics. Proceedings of the 41st international Ludwig Wittgenstein symposium. Berlin: De Gruyter. 313--325 (2019; Zbl 07237980)
Full Text: DOI
Goré, Rajeev; Lellmann, Björn
Syntactic cut-elimination and backward proof-search for tense logic via linear nested sequents. (English) Zbl 1435.03084
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, 185-202 (2019).
MSC:  03F05 03B45 03B44
PDF BibTeX XML Cite
\textit{R. Goré} and \textit{B. Lellmann}, Lect. Notes Comput. Sci. 11714, 185--202 (2019; Zbl 1435.03084)
Full Text: DOI
Fiorentini, Camillo; Goré, Rajeev; Graham-Lengrand, Stéphane
A proof-theoretic perspective on SMT-solving for intuitionistic propositional logic. (English) Zbl 1435.68367
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, 111-129 (2019).
MSC:  68V15 03B20 03F05
PDF BibTeX XML Cite
\textit{C. Fiorentini} et al., Lect. Notes Comput. Sci. 11714, 111--129 (2019; Zbl 1435.68367)
Full Text: DOI
Dvir, Yotam; Avron, Arnon
First-order quasi-canonical proof systems. (English) Zbl 1435.03085
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, 77-93 (2019).
MSC:  03F07 03F05 68T27 68T30
PDF BibTeX XML Cite
\textit{Y. Dvir} and \textit{A. Avron}, Lect. Notes Comput. Sci. 11714, 77--93 (2019; Zbl 1435.03085)
Full Text: DOI
Indrzejczak, Andrzej
Two is enough – bisequent calculus for S5. (English) Zbl 07200366
Herzig, Andreas (ed.) et al., Frontiers of combining systems. 12th international symposium, FroCoS 2019, London, UK, September 4–6, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-29006-1/pbk; 978-3-030-29007-8/ebook). Lecture Notes in Computer Science 11715. Lecture Notes in Artificial Intelligence, 277-294 (2019).
MSC:  03B45 03F05
PDF BibTeX XML Cite
\textit{A. Indrzejczak}, Lect. Notes Comput. Sci. 11715, 277--294 (2019; Zbl 07200366)
Full Text: DOI
Greco, Giuseppe; Liang, Fei; Manoorkar, Krishna; Palmigiano, Alessandra
Proper multi-type display calculi for rough algebras. (English) Zbl 1434.03147
Accattoli, Beniamino (ed.) et al., Proceedings of the 13th workshop on logical and semantic frameworks with applications, LSFA 18, Fortaleza, Brazil, September 26–28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 344, 101-118 (2019).
MSC:  03G25 06E75 03F05 03E72
PDF BibTeX XML Cite
\textit{G. Greco} et al., Electron. Notes Theor. Comput. Sci. 344, 101--118 (2019; Zbl 1434.03147)
Full Text: DOI arXiv
Crary, Karl
Strong sums in focused logic. (English) Zbl 1452.03130
Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 265-274 (2018).
MSC:  03F07 03F05 03B20 03F52
PDF BibTeX XML Cite
\textit{K. Crary}, in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 265--274 (2018; Zbl 1452.03130)
Full Text: DOI
Xavier, Bruno; Olarte, Carlos; Reis, Giselle; Nigam, Vivek
Mechanizing focused linear logic in Coq. (English) Zbl 1433.68586
Alves, Sandra (ed.) et al., Selected papers of the 12th workshop on logical and semantic frameworks, with applications (LSFA 2017), Brasilia, Brazil, September 23–24, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 338, 219-236 (2018).
MSC:  68V20 03B35 03F05 03F52 68V15
PDF BibTeX XML Cite
\textit{B. Xavier} et al., Electron. Notes Theor. Comput. Sci. 338, 219--236 (2018; Zbl 1433.68586)
Full Text: DOI
Kuznets, Roman; Lellmann, Björn
Interpolation for intermediate logics via hyper- and linear nested sequents. (English) Zbl 1418.03130
Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 473-492 (2018).
MSC:  03B55 03F03 03F05
PDF BibTeX XML Cite
\textit{R. Kuznets} and \textit{B. Lellmann}, in: Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27--31, 2018. London: College Publications. 473--492 (2018; Zbl 1418.03130)
Indrzejczak, Andrzej
Cut-free modal theory of definite descriptions. (English) Zbl 1418.03088
Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 387-406 (2018).
MSC:  03B45 03F05
PDF BibTeX XML Cite
\textit{A. Indrzejczak}, in: Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27--31, 2018. London: College Publications. 387--406 (2018; Zbl 1418.03088)
Girlando, Marianna; Negri, Sara; Olivetti, Nicola
Counterfactual logic: labelled and internal calculi, two sides of the same coin? (English) Zbl 1418.03050
Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 291-310 (2018).
MSC:  03B42 03F03 03F05
PDF BibTeX XML Cite
\textit{M. Girlando} et al., in: Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27--31, 2018. London: College Publications. 291--310 (2018; Zbl 1418.03050)
Elbl, Birgit
Cut-free sequent calculi for products and relativised products of modal logics. (English) Zbl 1418.03080
Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 257-276 (2018).
MSC:  03B45 03F05
PDF BibTeX XML Cite
\textit{B. Elbl}, in: Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27--31, 2018. London: College Publications. 257--276 (2018; Zbl 1418.03080)
Avron, Arnon; Lahav, Ori
A simple cut-free system for a paraconsistent logic equivalent to S5. (English) Zbl 1418.03126
Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 29-42 (2018).
MSC:  03B53 03B45 03F05
PDF BibTeX XML Cite
\textit{A. Avron} and \textit{O. Lahav}, in: Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27--31, 2018. London: College Publications. 29--42 (2018; Zbl 1418.03126)
Darnell, Eamon; Thomas-Bolduc, Aaron
Takeuti’s well-ordering proof: finitistically fine? (English) Zbl 1404.03006
Zack, Maria (ed.) et al., Research in history and philosophy of mathematics. The CSHPM 2017 annual meeting in Toronto, Ontario, Canada, May 2017. Cham: Birkhäuser (ISBN 978-3-319-90855-7/hbk; 978-3-319-90983-7/ebook). Proceedings of the Canadian Society for History and Philosophy of Mathematics/Société Canadienne d’Histoire et de Philosophie des Mathématiques, 167-180 (2018).
MSC:  03-03 03F25 03F30 03F05 03F15 01A60
PDF BibTeX XML Cite
\textit{E. Darnell} and \textit{A. Thomas-Bolduc}, in: Research in history and philosophy of mathematics. The CSHPM 2017 annual meeting in Toronto, Ontario, Canada, May 2017. Cham: Birkhäuser. 167--180 (2018; Zbl 1404.03006)
Full Text: DOI
Afshari, Bahareh; Leigh, Graham E.
Cut-free completeness for modal mu-calculus. (English) Zbl 1452.03055
Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 28, 12 p. (2017).
MSC:  03B45 03F05 68Q60
PDF BibTeX XML Cite
\textit{B. Afshari} and \textit{G. E. Leigh}, in: Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20--23, 2017. Piscataway, NJ: IEEE Press. Article No. 28, 12 p. (2017; Zbl 1452.03055)
Full Text: Link
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
PDF BibTeX XML Cite
\textit{N. Zeilberger}, LIPIcs -- Leibniz Int. Proc. Inform. 84, Article 33, 16 p. (2017; Zbl 1434.03140)
Full Text: DOI
Straßburger, Lutz
Combinatorial flows and their normalisation. (English) Zbl 1434.03128
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 31, 17 p. (2017).
MSC:  03F05 03F07
PDF BibTeX XML Cite
\textit{L. Straßburger}, LIPIcs -- Leibniz Int. Proc. Inform. 84, Article 31, 17 p. (2017; Zbl 1434.03128)
Full Text: DOI
Licata, Daniel R.; Shulman, Michael; Riley, Mitchell
A fibrational framework for substructural and modal logics. (English) Zbl 1434.03040
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 25, 22 p. (2017).
MSC:  03B38 03B45 03B47 03F05 03G30
PDF BibTeX XML Cite
\textit{D. R. Licata} et al., LIPIcs -- Leibniz Int. Proc. Inform. 84, Article 25, 22 p. (2017; Zbl 1434.03040)
Full Text: DOI
Kanovich, Max; Kuznetsov, Stepan; Morrill, Glyn; Scedrov, Andre
A polynomial-time algorithm for the Lambek calculus with brackets of bounded order. (English) Zbl 1434.03076
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 22, 17 p. (2017).
MSC:  03B47 68Q42 03F05 03F52 68Q25
PDF BibTeX XML Cite
\textit{M. Kanovich} et al., LIPIcs -- Leibniz Int. Proc. Inform. 84, Article 22, 17 p. (2017; Zbl 1434.03076)
Full Text: DOI
Guerrini, Stefano; Solieri, Marco
Is the optimal implementation inefficient? Elementarily not. (English) Zbl 1434.68087
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 17, 16 p. (2017).
MSC:  68N18 03B40 03F05 03F52
PDF BibTeX XML Cite
\textit{S. Guerrini} and \textit{M. Solieri}, LIPIcs -- Leibniz Int. Proc. Inform. 84, Article 17, 16 p. (2017; Zbl 1434.68087)
Full Text: DOI
Ricciotti, Wilmer; Cheney, James
Strongly normalizing audited computation. (English) Zbl 1434.03059
Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 36, 21 p. (2017).
MSC:  03B40 03F05 03B42 68N18
PDF BibTeX XML Cite
\textit{W. Ricciotti} and \textit{J. Cheney}, LIPIcs -- Leibniz Int. Proc. Inform. 82, Article 36, 21 p. (2017; Zbl 1434.03059)
Full Text: DOI
Tubella, Andrea Aler; Guglielmi, Alessio; Ralph, Benjamin
Removing cycles from proofs. (English) Zbl 1434.03129
Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 9, 17 p. (2017).
MSC:  03F05 03F07
PDF BibTeX XML Cite
\textit{A. A. Tubella} et al., LIPIcs -- Leibniz Int. Proc. Inform. 82, Article 9, 17 p. (2017; Zbl 1434.03129)
Full Text: DOI
Chaudhuri, Kaustuv; Lima, Leonardo; Reis, Giselle
Formalized meta-theory of sequent calculi for substructural logics. (English) Zbl 1401.03033
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, 57-73 (2017).
MSC:  03B35 03F05 03B47 03F52 68T15
PDF BibTeX XML Cite
\textit{K. Chaudhuri} et al., Electron. Notes Theor. Comput. Sci. 332, 57--73 (2017; Zbl 1401.03033)
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
Biographic Reference
all top 3
Software