WebSite Logo
  • Content
  • Similar Resources
  • Metadata
  • Cite This
  • Language
    অসমীয়া বাংলা भोजपुरी डोगरी English ગુજરાતી हिंदी ಕನ್ನಡ
    Khasi कोंकणी मैथिली മലയാളം ꯃꯤꯇꯩ ꯂꯣꯟ मराठी Mizo नेपाली
    ଓଡ଼ିଆ ਪੰਜਾਬੀ संस्कृत ᱥᱟᱱᱛᱟᱲᱤ सिन्धी தமிழ் తెలుగు اردو
  • Log-in
  • Fullscreen
Log-in
Do not have an account? Register Now
Forgot your password? Account recovery
  1. Journal of Mathematical Sciences
  2. Journal of Mathematical Sciences : Volume 158
  3. Journal of Mathematical Sciences : Volume 158, Issue 5, May 2009
  4. Fuzzy constructive logic
Loading...

Please wait, while we are loading the content...

Journal of Mathematical Sciences : Volume 224
Journal of Mathematical Sciences : Volume 223
Journal of Mathematical Sciences : Volume 222
Journal of Mathematical Sciences : Volume 221
Journal of Mathematical Sciences : Volume 220
Journal of Mathematical Sciences : Volume 219
Journal of Mathematical Sciences : Volume 218
Journal of Mathematical Sciences : Volume 217
Journal of Mathematical Sciences : Volume 216
Journal of Mathematical Sciences : Volume 215
Journal of Mathematical Sciences : Volume 214
Journal of Mathematical Sciences : Volume 213
Journal of Mathematical Sciences : Volume 212
Journal of Mathematical Sciences : Volume 211
Journal of Mathematical Sciences : Volume 210
Journal of Mathematical Sciences : Volume 209
Journal of Mathematical Sciences : Volume 208
Journal of Mathematical Sciences : Volume 207
Journal of Mathematical Sciences : Volume 206
Journal of Mathematical Sciences : Volume 205
Journal of Mathematical Sciences : Volume 204
Journal of Mathematical Sciences : Volume 203
Journal of Mathematical Sciences : Volume 202
Journal of Mathematical Sciences : Volume 201
Journal of Mathematical Sciences : Volume 200
Journal of Mathematical Sciences : Volume 199
Journal of Mathematical Sciences : Volume 198
Journal of Mathematical Sciences : Volume 197
Journal of Mathematical Sciences : Volume 196
Journal of Mathematical Sciences : Volume 195
Journal of Mathematical Sciences : Volume 194
Journal of Mathematical Sciences : Volume 193
Journal of Mathematical Sciences : Volume 192
Journal of Mathematical Sciences : Volume 191
Journal of Mathematical Sciences : Volume 190
Journal of Mathematical Sciences : Volume 189
Journal of Mathematical Sciences : Volume 188
Journal of Mathematical Sciences : Volume 187
Journal of Mathematical Sciences : Volume 186
Journal of Mathematical Sciences : Volume 185
Journal of Mathematical Sciences : Volume 184
Journal of Mathematical Sciences : Volume 183
Journal of Mathematical Sciences : Volume 182
Journal of Mathematical Sciences : Volume 181
Journal of Mathematical Sciences : Volume 180
Journal of Mathematical Sciences : Volume 179
Journal of Mathematical Sciences : Volume 178
Journal of Mathematical Sciences : Volume 177
Journal of Mathematical Sciences : Volume 176
Journal of Mathematical Sciences : Volume 175
Journal of Mathematical Sciences : Volume 174
Journal of Mathematical Sciences : Volume 173
Journal of Mathematical Sciences : Volume 172
Journal of Mathematical Sciences : Volume 171
Journal of Mathematical Sciences : Volume 170
Journal of Mathematical Sciences : Volume 169
Journal of Mathematical Sciences : Volume 168
Journal of Mathematical Sciences : Volume 167
Journal of Mathematical Sciences : Volume 166
Journal of Mathematical Sciences : Volume 165
Journal of Mathematical Sciences : Volume 164
Journal of Mathematical Sciences : Volume 163
Journal of Mathematical Sciences : Volume 162
Journal of Mathematical Sciences : Volume 161
Journal of Mathematical Sciences : Volume 160
Journal of Mathematical Sciences : Volume 159
Journal of Mathematical Sciences : Volume 158
Journal of Mathematical Sciences : Volume 158, Issue 6, May 2009
Journal of Mathematical Sciences : Volume 158, Issue 5, May 2009
Complexity of the identity checking problem for finite semigroups
Nonmaximal decidable structures
Tree inclusions in windows and slices
Time hierarchies for cryptographic function inversion with advice
Proof compressions with circuit-structured substitutions
The decision problem for some logics for finite words on infinite alphabets
On equations in free semigroups with certain constraints on their solutions
Fuzzy constructive logic
The lengths of proofs: Kreisel’s conjecture and Gödel’s speed-up theorem
Borel reducibility as an additive property of domains
Defining the integers in large rings of a number field using one universal quantifier
In some curved spaces, one can solve NP-hard problems in polynomial time
Logical equations in monadic logic
On a class of bases for boolean functions
Faster subsequence recognition in compressed strings
Journal of Mathematical Sciences : Volume 158, Issue 4, April 2009
Journal of Mathematical Sciences : Volume 158, Issue 3, April 2009
Journal of Mathematical Sciences : Volume 158, Issue 2, April 2009
Journal of Mathematical Sciences : Volume 158, Issue 1, April 2009
Journal of Mathematical Sciences : Volume 157
Journal of Mathematical Sciences : Volume 156
Journal of Mathematical Sciences : Volume 155
Journal of Mathematical Sciences : Volume 154
Journal of Mathematical Sciences : Volume 153
Journal of Mathematical Sciences : Volume 152
Journal of Mathematical Sciences : Volume 151
Journal of Mathematical Sciences : Volume 150
Journal of Mathematical Sciences : Volume 149
Journal of Mathematical Sciences : Volume 148
Journal of Mathematical Sciences : Volume 147
Journal of Mathematical Sciences : Volume 146
Journal of Mathematical Sciences : Volume 145
Journal of Mathematical Sciences : Volume 144
Journal of Mathematical Sciences : Volume 143
Journal of Mathematical Sciences : Volume 142
Journal of Mathematical Sciences : Volume 141
Journal of Mathematical Sciences : Volume 140
Journal of Mathematical Sciences : Volume 139
Journal of Mathematical Sciences : Volume 138
Journal of Mathematical Sciences : Volume 137
Journal of Mathematical Sciences : Volume 136
Journal of Mathematical Sciences : Volume 135
Journal of Mathematical Sciences : Volume 134
Journal of Mathematical Sciences : Volume 133
Journal of Mathematical Sciences : Volume 132
Journal of Mathematical Sciences : Volume 131
Journal of Mathematical Sciences : Volume 130
Journal of Mathematical Sciences : Volume 129
Journal of Mathematical Sciences : Volume 128
Journal of Mathematical Sciences : Volume 127
Journal of Mathematical Sciences : Volume 126
Journal of Mathematical Sciences : Volume 125
Journal of Mathematical Sciences : Volume 124
Journal of Mathematical Sciences : Volume 123
Journal of Mathematical Sciences : Volume 122
Journal of Mathematical Sciences : Volume 121
Journal of Mathematical Sciences : Volume 120
Journal of Mathematical Sciences : Volume 119
Journal of Mathematical Sciences : Volume 118
Journal of Mathematical Sciences : Volume 117
Journal of Mathematical Sciences : Volume 116
Journal of Mathematical Sciences : Volume 115
Journal of Mathematical Sciences : Volume 114
Journal of Mathematical Sciences : Volume 113
Journal of Mathematical Sciences : Volume 112
Journal of Mathematical Sciences : Volume 111
Journal of Mathematical Sciences : Volume 110
Journal of Mathematical Sciences : Volume 109
Journal of Mathematical Sciences : Volume 108
Journal of Mathematical Sciences : Volume 107
Journal of Mathematical Sciences : Volume 106
Journal of Mathematical Sciences : Volume 105
Journal of Mathematical Sciences : Volume 104
Journal of Mathematical Sciences : Volume 103
Journal of Mathematical Sciences : Volume 102
Journal of Mathematical Sciences : Volume 101
Journal of Mathematical Sciences : Volume 100
Journal of Mathematical Sciences : Volume 99
Journal of Mathematical Sciences : Volume 98
Journal of Mathematical Sciences : Volume 97
Journal of Mathematical Sciences : Volume 96
Journal of Mathematical Sciences : Volume 95
Journal of Mathematical Sciences : Volume 94
Journal of Mathematical Sciences : Volume 93
Journal of Mathematical Sciences : Volume 92
Journal of Mathematical Sciences : Volume 91
Journal of Mathematical Sciences : Volume 90
Journal of Mathematical Sciences : Volume 89
Journal of Mathematical Sciences : Volume 88
Journal of Mathematical Sciences : Volume 87
Journal of Mathematical Sciences : Volume 86
Journal of Mathematical Sciences : Volume 85
Journal of Mathematical Sciences : Volume 84
Journal of Mathematical Sciences : Volume 83

Similar Documents

...
Extended Fuzzy Constructive Logic

Article

...
Algebras of Recursively Enumerable Sets and Their Applications to Fuzzy Logic

Article

...
On a Continuity Theorem for Constructive Functions

Article

...
Index Sets of Almost Prime Constructive Models

Article

...
On the constructive characterization of threshold functions

Article

...
Fuzzy Modal Logics

Article

...
Structuring Co-constructive Logic for Proofs and Refutations

Article

...
On a Problem of the Constructive Theory of Harmonic Mappings

Article

...
Finite quantum models: constructive approach to description of quantum behavior

Article

Fuzzy constructive logic

Content Provider Springer Nature Link
Author Zaslavsky, I. D.
Copyright Year 2009
Abstract We introduce a logical system in which the principles of fuzzy logic are interpreted from the point of view of the constructive approach The language of predicate formulas without functional symbols and symbols of constants is considered. The notion of identically trae predicate formula in the framework of the introduced logic is defined; two variants of this definition are given. Theorems concerning identically true predicate formulas are proved. Some connections between the introduced logic and the constructive (intuitionistic) predicate calculus are established. Bibliography: 40 titles.
Starting Page 677
Ending Page 688
Page Count 12
File Format PDF
ISSN 10723374
Journal Journal of Mathematical Sciences
Volume Number 158
Issue Number 5
e-ISSN 15738795
Language English
Publisher Springer US
Publisher Date 2009-04-14
Publisher Place Boston
Access Restriction One Nation One Subscription (ONOS)
Subject Keyword Mathematics
Content Type Text
Resource Type Article
Subject Applied Mathematics Statistics and Probability
  • About
  • Disclaimer
  • Feedback
  • Sponsor
  • Contact
About National Digital Library of India (NDLI)
NDLI logo

National Digital Library of India (NDLI) is a virtual repository of learning resources which is not just a repository with search/browse facilities but provides a host of services for the learner community. It is sponsored and mentored by Ministry of Education, Government of India, through its National Mission on Education through Information and Communication Technology (NMEICT). Filtered and federated searching is employed to facilitate focused searching so that learners can find the right resource with least effort and in minimum time. NDLI provides user group-specific services such as Examination Preparatory for School and College students and job aspirants. Services for Researchers and general learners are also provided. NDLI is designed to hold content of any language and provides interface support for 10 most widely used Indian languages. It is built to provide support for all academic levels including researchers and life-long learners, all disciplines, all popular forms of access devices and differently-abled learners. It is designed to enable people to learn and prepare from best practices from all over the world and to facilitate researchers to perform inter-linked exploration from multiple sources. It is developed, operated and maintained from Indian Institute of Technology Kharagpur.

Learn more about this project from here.

Disclaimer

NDLI is a conglomeration of freely available or institutionally contributed or donated or publisher managed contents. Almost all these contents are hosted and accessed from respective sources. The responsibility for authenticity, relevance, completeness, accuracy, reliability and suitability of these contents rests with the respective organization and NDLI has no responsibility or liability for these. Every effort is made to keep the NDLI portal up and running smoothly unless there are some unavoidable technical issues.

Feedback

Sponsor

Ministry of Education, through its National Mission on Education through Information and Communication Technology (NMEICT), has sponsored and funded the National Digital Library of India (NDLI) project.

Contact National Digital Library of India
Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302
See location in the Map
03222 282435
Mail: support@ndl.gov.in
Sl. Authority Responsibilities Communication Details
1 Ministry of Education (GoI),
Department of Higher Education
Sanctioning Authority https://www.education.gov.in/ict-initiatives
2 Indian Institute of Technology Kharagpur Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project https://www.iitkgp.ac.in
3 National Digital Library of India Office, Indian Institute of Technology Kharagpur The administrative and infrastructural headquarters of the project Dr. B. Sutradhar  bsutra@ndl.gov.in
4 Project PI / Joint PI Principal Investigator and Joint Principal Investigators of the project Dr. B. Sutradhar  bsutra@ndl.gov.in
Prof. Saswat Chakrabarti  will be added soon
5 Website/Portal (Helpdesk) Queries regarding NDLI and its services support@ndl.gov.in
6 Contents and Copyright Issues Queries related to content curation and copyright issues content@ndl.gov.in
7 National Digital Library of India Club (NDLI Club) Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach clubsupport@ndl.gov.in
8 Digital Preservation Centre (DPC) Assistance with digitizing and archiving copyright-free printed books dpc@ndl.gov.in
9 IDR Setup or Support Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops idr@ndl.gov.in
Cite this Content
Loading...