An Introduction to Lorenzen's ‘Algebraic and Logistic Investigations on Free Lattices’ (1951)
Authors
- Henri Lombardi (ORCID: https://orcid.org/0000-0002-7920-9282)
- Stefan Neuwirth (ORCID: https://orcid.org/0000-0001-9139-4911)
- Thierry Coquand (ORCID: https://orcid.org/0000-0002-5429-5153)
Institutions
- University of Gothenburg (SE)
- Université de Franche-Comté (FR)
Publication Details
- Journal
- History and Philosophy of Logic
- Published
- 2025-05-16
- DOI
- https://doi.org/10.1080/01445340.2024.2439683
- Citations
- 9
- Primary Topic
- Logic, programming, and type systems
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- Chalmers Tekniska Högskola
- Centre National de la Recherche Scientifique
- Göteborgs Universitet
- Université de Franche-Comté