poi
                                
                                
                                
                                    poi copied to clipboard
                            
                            
                            
                        Direct 4-value logic
Currently the 4-value logic true/false/both/neither only works for Catuṣkoṭi existential lift.
One idea is to extend the true/false/both/neither to all Boolean operations.