pith. sign in

Relational representation theorems for lattices with negations: A survey.Lecture Notes in Artificial Intelligence, 4342:245–266, 2006b

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

fields

math.LO 1

years

2026 1

verdicts

UNVERDICTED 1

representative citing papers

Fundamental Logic Through the Lens of Modality

math.LO · 2026-06-29 · unverdicted · novelty 7.0

Fundamental logic embeds fully and faithfully into orthological S4 and intuitionistic KTB via GMT and Goldblatt translations, with intuitionistic logic embedding into modal fundamental logic.

citing papers explorer

Showing 1 of 1 citing paper.

  • Fundamental Logic Through the Lens of Modality math.LO · 2026-06-29 · unverdicted · none · ref 6

    Fundamental logic embeds fully and faithfully into orthological S4 and intuitionistic KTB via GMT and Goldblatt translations, with intuitionistic logic embedding into modal fundamental logic.