scientific article; zbMATH DE number 6930595

zbMATH Open1394.06017MaRDI QIDQ4583885FDOQ4583885

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/

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

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

zbMATH Keywords

fuzzy setmultiple criteria decision makingDe Morgan latticeKleene latticesymmetric Heyting algebraGödel-Kleene latticeinvolutive Brouwerian D-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)

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)