Note on inter-expressibility of logical connectives in finitely-valued Gödel-Dummett logics

DOI10.1007/S00500-005-0514-8MaRDI QIDQ2500767zbMATH OpenOpenAlexFDO

Authors Vítězslav Švejdar

Publication date 18 August 2006

Published in Soft Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00500-005-0514-8

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Recommendations

• scientific article; zbMATH DE number 3997759
• On interplay of quantifiers in Gödel-Dummett fuzzy logics
• Observations on the monoidal t-norm logic
• The n-valued logic system G_n based on a derived operator of the Gödel implication operator
• From intuitionism to many-valued logics through Kripke models

Cites work

• A propositional calculus with denumerable matrix
• Metamathematics of fuzzy logic
• On interplay of quantifiers in Gödel-Dummett fuzzy logics

Cited in

(5)

• A note on a deductive scheme of Dummett in classical and fuzzy logics
• Formal systems of fuzzy logic and their fragments
• On interplay of quantifiers in Gödel-Dummett fuzzy logics
• A Strange Remark Attributed to Gödel
• scientific article; zbMATH DE number 3997759 (Why is no real title available?)

This page was built for publication: Note on inter-expressibility of logical connectives in finitely-valued Gödel-Dummett logics

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