NDLI: On inter-expressibility of logical connectives in gödel fuzzy logic (1999).

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

On inter-expressibility of logical connectives in gödel fuzzy logic (1999).

Content Provider	CiteSeerX
Abstract	The original publication is available at www.springerlink.com. In Gödel fuzzy propositional logic, neither conjunction nor implication is expressible (definable) in terms of the remaining three logical connectives. In classical propositional logic, propositions are associated with two truth values 1 (truth) and 0 (falsity). In fuzzy logics further (intermediate) truth values lying between 0 and 1 are possible. Usually the truth values are linearly ordered and it is common to assume that they are elements of the real interval [0, 1]. In Gödel fuzzy propositional logic G (see Gödel [5] and/or Hájek [6]), we deal with propositional formulas built up from (say denumerable infinite set of) propositional atoms using the logical connectives & (conjunction), ∨ (dis-junction), → (implication) and ¬ (negation). The meaning of the four logical connectives is determined by their truth functions defined as follows. The truth function of conjunction and disjunction are the functions min (minimum) and max (maximum). The truth function of implication is the residuum function ⇒, where x⇒y = y if y < x and x⇒y = 1 otherwise. The truth function of negation is the function − defined by −x = x ⇒ 0 (so, in this paper, the symbol − does not denote subtraction). The real interval [0, 1] equipped with the functions min, max, ⇒ and − is called the standard G-algebra and denoted [0, 1]G. A truth evaluation is a function from propositional atoms to [0, 1]. In full analogy to the classical case, any truth evaluation has a uniquely de-termined extension defined on all propositional formulas and respecting the truth functions of the standard G-algebra defined above. A propositional for-mula A is a G-tautology if v(A) = 1 for each truth evaluation v. An example
File Format	PDF
Publisher Date	1999-01-01
Access Restriction	Open
Subject Keyword	Logical Connective Truth Function Fuzzy Logic Truth Evaluation Truth Value Propositional Atom Real Interval Propositional Formula Standard G-algebra Fuzzy Propositional Logic Full Analogy Classical Propositional Logic Propositional For-mula Denumerable Infinite Set Residuum Function Original Publication De-termined Extension Classical Case
Content Type	Text

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