Kapitel
        
        
            
                    
        
                
                
                    
                
                
            
            
                
            
            
            
            
            
            
        
    
    
    Lizenziert
                
                    
                    Nicht lizenziert
                    
                    Erfordert eine Authentifizierung
                
            
    
                
        
        8. Representation of Forcing
- 
            
            
        Dorian Nicholson
        
                                    
                                    Sie haben derzeit keinen Zugang zu diesem Inhalt.
                                
                                
                                
                                                
                                                Sie haben derzeit keinen Zugang zu diesem Inhalt.
                                            
                                            
                                            Kapitel in diesem Buch
- Frontmatter i
- Contents v
- Acknowledgments ix
- 1. Introduction to the Essays 1
- 2. Paraconsistency: Who Needs It? 17
- 3. Weakly Additive Algebras and a Completeness Problem 33
- 4. A Dualization of Neighbourhood Structures 49
- 5. Polyadic Modal Logics and Their Monadic Fragments 61
- 6. Preserving What? 85
- 7. Preserving Logical Structure 105
- 8. Representation of Forcing 145
- 9. Forcing and Practical Inference 161
- 10. Ambiguity Games and Preserving Ambiguity Measures 175
- Nomenclature 189
- References 195
- Index 199
- Contributors 203
Kapitel in diesem Buch
- Frontmatter i
- Contents v
- Acknowledgments ix
- 1. Introduction to the Essays 1
- 2. Paraconsistency: Who Needs It? 17
- 3. Weakly Additive Algebras and a Completeness Problem 33
- 4. A Dualization of Neighbourhood Structures 49
- 5. Polyadic Modal Logics and Their Monadic Fragments 61
- 6. Preserving What? 85
- 7. Preserving Logical Structure 105
- 8. Representation of Forcing 145
- 9. Forcing and Practical Inference 161
- 10. Ambiguity Games and Preserving Ambiguity Measures 175
- Nomenclature 189
- References 195
- Index 199
- Contributors 203