Article In: cienciavitae, dblp

Finite axiomatizability of logics of distributive lattices with negation

Logic Journal of the IGPL

Sérgio Marcelino; Umberto Rivieccio — 2022 — Log. J. IGPL

Key information

Authors:

Sérgio Marcelino (Sérgio Roseiro Teles Marcelino); Umberto Rivieccio

Published in

May 1, 2022

Publication details

Authors in the community:

Publication version

AO - Author's Original

Publisher

Log. J. IGPL

Title of the publication container

Logic Journal of the IGPL

First page or article number

na

Last page

533

Volume

na

Issue

na

ISSN

1368-9894

DOI

10.1093/jigpal/jzac043

Fields of Science and Technology (FOS)

mathematics - Mathematics

Publication language (ISO code)

eng - English

Alternative identifier (URI)

https://arxiv.org/abs/2102.05421

Rights type:

Only metadata available