scientific article; zbMATH DE number 6930595

MaRDI QIDQ4583885zbMATH OpenFDO

Authors Mircea Sularia

Publication date 3 September 2018

Full work available at URL http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-27-number-4-2016/mvlsc-27-4-p-299-352/

zbMATH Keywords

De Morgan latticefuzzy setGödel-Kleene latticeinvolutive Brouwerian D-algebraKleene latticemultiple criteria decision makingsymmetric Heyting algebra

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Generalizations of Boolean algebras (06E75)

Recommendations

• On the decidability of the real field with a generic power function
• On expressive power of regular realizability problems
• Publication:4865640
• scientific article; zbMATH DE number 4033803
• A realization theorem for the Gödel-Löb provability logic
• Decidability of univariate real algebra with predicates for rational and integer powers
• Gődel filters in residuated lattices
• New Computational Paradigms
• Completeness of the bounded Boolean powers of orthomodular lattices

Cited in

(1)

• On the decidability of the real field with a generic power function

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