scientific article; zbMATH DE number 7668110

MaRDI QIDQ5884959

Gianluca Grilletti

Publication date: 24 March 2023

Title of this publication is not available (Why is that?)

zbMATH Keywords

finite distributive latticesMedvedev logicmeet-prime elements

Mathematics Subject Classification ID

Structure and representation theory of distributive lattices (06D05) Intermediate logics (03B55)

Related Items (1)

Structural completeness and superintuitionistic inquisitive logics

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• First-order logic in the Medvedev lattice 👍 👎
• Intermediate logics and factors of the Medvedev lattice 👍 👎
• Kripke models, distributive lattices, and Medvedev degrees 👍 👎
• The logic of distributive nearlattices 👍 👎
• Constructive logic and the Medvedev lattice 👍 👎
• New Computational Paradigms 👍 👎
• Finite axiomatizability of logics of distributive lattices with negation 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5884959)