Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
Purge
English
Log in

scientific article; zbMATH DE number 7599953

From MaRDI portal
Publication:5039132
Jump to:navigation, search

MaRDI QIDQ5039132

V. Novรกk

Publication date: 12 October 2022



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



Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)



Related Items (4)

EQ-algebra-based fuzzy type theory and its extensions โ‹ฎ Fuzzy type theory with partial functions โ‹ฎ On fuzzy type theory โ‹ฎ On Virtues of Many-Valued (Fuzzy) Type Theories


Recommendations

  • Title not available (Why is that?) ๐Ÿ‘ ๐Ÿ‘Ž
  • Title not available (Why is that?) ๐Ÿ‘ ๐Ÿ‘Ž
  • On fuzzy type theory ๐Ÿ‘ ๐Ÿ‘Ž
  • A formal theory of intermediate quantifiers ๐Ÿ‘ ๐Ÿ‘Ž
  • The theory of intermediate quantifiers in fuzzy natural logic revisited and the model of ``many ๐Ÿ‘ ๐Ÿ‘Ž
  • EQ-algebra-based fuzzy type theory and its extensions ๐Ÿ‘ ๐Ÿ‘Ž
  • Fuzzy Type Theory, Descriptions, and Partial Functions ๐Ÿ‘ ๐Ÿ‘Ž
  • On General Properties of Intermediate Quantifiers ๐Ÿ‘ ๐Ÿ‘Ž
  • Fuzzy type theory with partial functions ๐Ÿ‘ ๐Ÿ‘Ž
  • First Steps Towards Harnessing Partial Functions in Fuzzy Type Theory ๐Ÿ‘ ๐Ÿ‘Ž





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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5039132&oldid=19516342"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 8 February 2024, at 12:09.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki