La Trobe

Free lattices proof-theoretically

journal contribution
posted on 2025-12-01, 00:24 authored by Tomasz KowalskiTomasz Kowalski
A sequent system is used to give alternative proofs of two well known properties of free lattices: Whitman’s condition and semidistributivity. It demonstrates usefulness of such proof systems outside logic.<p></p>

History

Publication Date

2020-04-24

Journal

The Australasian Journal of Logic

Volume

17

Issue

2

Pagination

13p. (p. 110-122)

Publisher

Australasian Association for Logic

ISSN

1448-5052

Rights Statement

© The Author 2020

Publisher DOI

Usage metrics

    Journal Articles

    Categories

    Keywords

    free latticesWhitman’s conditionsemidistributivitylogic

    Licence

    In Copyright

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC