×

Found 753 Documents (Results 1–100)

100
MathJax

The problem of harmony in classical logic. (English) Zbl 07307089

Sedlár, Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications. 49-65 (2020).
PDF BibTeX XML Cite

Consuming and persistent types for classical logic. (English) Zbl 07299500

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 619-632 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

Dual and axiomatic systems for constructive S4, a formally verified equivalence. (English) Zbl 07297792

Felty, Amy (ed.) et al., 14th international workshop on logical and semantic frameworks, with applications, LSFA 2019, Natal, Brazil, in August 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 348, 61-83 (2020).
MSC:  03B45 68V15
PDF BibTeX XML Cite
Full Text: DOI

Formal methods in computer science. (English) Zbl 1436.68002

Textbooks in Mathematics. Boca Raton, FL: CRC Press (ISBN 978-0-367-22570-4/hbk; 978-1-4987-7532-8/pbk; 978-0-429-18418-5/ebook). xvii, 294 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI

Computational hermeneutics: an integrated approach for the logical analysis of natural-language arguments. (English) Zbl 07229671

Liao, Beishui (ed.) et al., Dynamics, uncertainty and reasoning. Selected papers of the second Chinese conference on logic and argumentation (CLAR 2018), Hangzhou, China, June 16–17, 2018. Singapore: Springer. Log. Asia: Stud. Log. Libr., 187-207 (2019).
MSC:  68V15 68T50
PDF BibTeX XML Cite
Full Text: DOI

Mechanised assessment of complex natural-language arguments using expressive logic combinations. (English) Zbl 1435.68315

Herzig, Andreas (ed.) et al., Frontiers of combining systems. 12th international symposium, FroCoS 2019, London, UK, September 4–6, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11715, 112-128 (2019).
MSC:  68T27 68T50 68V15
PDF BibTeX XML Cite
Full Text: DOI

A normal paradox. (English) Zbl 1418.03037

Arazim, Pavel (ed.) et al., The Logica yearbook 2016. Proceedings of the 30th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20–24, 2016. London: College Publications. 173-184 (2017).
MSC:  03B20 03F03
PDF BibTeX XML Cite

Saved from the cellar. Gerhard Gentzen’s shorthand notes on logic and foundations of mathematics. (English) Zbl 1414.03002

Sources and Studies in the History of Mathematics and Physical Sciences. Cham: Springer (ISBN 978-3-319-42119-3/hbk; 978-3-319-42120-9/ebook). x, 315 p. (2017).
PDF BibTeX XML Cite
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

all top 3

Software