scientific article; zbMATH DE number 4106836

MaRDI QIDQ3830999zbMATH OpenFDO

Authors Josep Maria Font, Ventura Verdú

Publication date 1989

zbMATH Keywords

abstract logicclosure operatorcongruencesfilters of a distributive lattice

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Structure and representation theory of distributive lattices (06D05)

Recommendations

• The lattice of distributive closure operators over an algebra
• Subalgebras of closure algebras
• Algebraic logic for classical conjunction and disjunction
• Some Algebraic Structures Determined by Closure Operators
• The logic of distributive nearlattices

Cited in

(18)

• Logical operators on complete lattices
• Algebraic logic for classical conjunction and disjunction
• The lattice of distributive closure operators over an algebra
• On distributive \(l\)-semilattices
• Composite distributive lattices as annotation domains for mediators
• A Note on ‘Distributive Terms, Truth, andThe Port Royal Logic’
• Some Algebraic Structures Determined by Closure Operators
• scientific article; zbMATH DE number 5163096 (Why is no real title available?)
• scientific article; zbMATH DE number 5569963 (Why is no real title available?)
• scientific article; zbMATH DE number 3966147 (Why is no real title available?)
• The lattice-modalized propositional logic: Distributivity and modularity of the Gentzen deduction system GL1
• scientific article; zbMATH DE number 828249 (Why is no real title available?)
• Logics for extended distributive contact lattices
• scientific article; zbMATH DE number 6302899 (Why is no real title available?)
• New Computational Paradigms
• scientific article; zbMATH DE number 7668110 (Why is no real title available?)
• Priestley-style duality for DN-algebras
• Kripke models, distributive lattices, and Medvedev degrees

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 Q3830999)