Statements (14)
| Predicate | Object | 
|---|---|
| gptkbp:instanceOf | 
                                    
                                        
                                            gptkb:logical_connective
                                        
                                         | 
                            
| gptkbp:defines | 
                                    
                                        
                                            
                                            N_G(x) = 1 if x = 0, else 0
                                        
                                        
                                         | 
                            
| gptkbp:field | 
                                    
                                        
                                            gptkb:logic
                                        
                                         gptkb:fuzzy_logic  | 
                            
| gptkbp:namedAfter | 
                                    
                                        
                                            gptkb:Kurt_Gödel
                                        
                                         | 
                            
| gptkbp:property | 
                                    
                                        
                                            
                                            involutive in classical logic
                                        
                                        
                                         not involutive in Gödel logic  | 
                            
| gptkbp:relatedTo | 
                                    
                                        
                                            gptkb:Łukasiewicz_negation
                                        
                                         fuzzy negation  | 
                            
| gptkbp:symbol | 
                                    
                                        
                                            
                                            ¬
                                        
                                        
                                         | 
                            
| gptkbp:usedIn | 
                                    
                                        
                                            
                                            Gödel–Dummett logic
                                        
                                        
                                         | 
                            
| gptkbp:bfsParent | 
                                    
                                        
                                            gptkb:Łukasiewicz_negation
                                        
                                         | 
                            
| gptkbp:bfsLayer | 
                                    
                                        
                                            
                                            8
                                        
                                        
                                         | 
                            
| https://www.w3.org/2000/01/rdf-schema#label | 
                                    
                                        
                                            
                                            Gödel negation
                                        
                                        
                                         |