×

Found 1,975 Documents (Results 1–100)

100
MathJax

Formalizing axiomatic systems for propositional logic in Isabelle/HOL. (English) Zbl 1485.68292

Kamareddine, Fairouz (ed.) et al., Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12833, 32-46 (2021).
MSC:  68V20 03B05 03B20
PDF BibTeX XML Cite
Full Text: DOI Link

Connecting sequent calculi with Lorenzen-style dialogue games. (English) Zbl 1490.03014

Heinzmann, Gerhard (ed.) et al., Paul Lorenzen – mathematician and logician. Contributions presented at the workshop, Konstanz, Germany, March 8–9, 2018. Cham: Springer. Log. Epistemol. Unity Sci. 51, 115-141 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Conceptions of infinity and set in Lorenzen’s operationist system. (English) Zbl 1494.03011

Heinzmann, Gerhard (ed.) et al., Paul Lorenzen – mathematician and logician. Contributions presented at the workshop, Konstanz, Germany, March 8–9, 2018. Cham: Springer. Log. Epistemol. Unity Sci. 51, 23-46 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Cones as a model of intuitionistic linear logic. (English) Zbl 07299482

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). 370-383 (2020).
MSC:  03F52 03B20
PDF BibTeX XML Cite
Full Text: DOI HAL

Modal intuitionistic logics as dialgebraic logics. (English) Zbl 07299481

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). 355-369 (2020).
MSC:  03B45 03B20 03G30
PDF BibTeX XML Cite
Full Text: DOI

Modal type theory based on the intuitionistic modal logic \(\mathrm{IEL}^{-}\). (English) Zbl 1485.03033

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2020, Deerfield Beach, FL, USA, January 04–07, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11972, 236-248 (2020).
PDF BibTeX XML Cite
Full Text: DOI

On deriving nested calculi for intuitionistic logics from semantic systems. (English) Zbl 1485.03021

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2020, Deerfield Beach, FL, USA, January 04–07, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11972, 177-194 (2020).
MSC:  03B20 03F03 03F05
PDF BibTeX XML Cite
Full Text: DOI arXiv

L. E. J. Brouwer: Intuitionism. 2nd edition. (L. E. J. Brouwer: Intuitionismus.) (German) Zbl 1476.03001

Mathematik im Kontext. Berlin: Springer Spektrum (ISBN 978-3-662-61388-7/pbk; 978-3-662-61389-4/ebook). ix, 191 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI

The ILLTP library for intuitionistic linear logic. (English) Zbl 1486.03026

Ehrhard, Thomas (ed.) et al., Proceedings of the joint international workshop on linearity & trends in linear logic and applications, Linearity-TLLA 2018, Oxford, UK, July 7–8, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 292, 118-132 (2019).
PDF BibTeX XML Cite
Full Text: arXiv Link

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