scientific article; zbMATH DE number 7668110

MaRDI QIDQ5884959zbMATH OpenFDO

Authors Gianluca Grilletti

Publication date 24 March 2023

zbMATH Keywords

finite distributive latticesMedvedev logicmeet-prime elements

Mathematics Subject Classification ID

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

Recommendations

• First-order logic in the Medvedev lattice
• Constructive logic and the Medvedev lattice
• Intermediate logics and factors of the Medvedev lattice
• Medvedev's logic and products of converse well orders
• Finite axiomatizability of logics of distributive lattices with negation
• scientific article; zbMATH DE number 4106836
• Logics without the contraction rule and residuated lattices
• New Computational Paradigms
• Kripke models, distributive lattices, and Medvedev degrees
• The logic of distributive nearlattices

Cited in

(5)

• Medvedev's logic and products of converse well orders
• Structural completeness and superintuitionistic inquisitive logics
• Information types in intuitionistic predicate logic with constant domains
• The logics of individual Medvedev frames
• Inquisitive split and structural completeness

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)