Pages that link to "Item:Q1324497"
From MaRDI portal
The following pages link to Two results in negation-free logic (Q1324497):
Displaying 5 items.
- Double-negation elimination in some propositional logics (Q813082) (← links)
- On minimizing the \(\forall\)-\(\neg\) degree of a connective-free formula (Q1323356) (← links)
- The complexity of minimum partial truth assignments and implication in negation-free formulae (Q1380416) (← links)
- Consistent Consequence for Boolean Equation Systems (Q2891375) (← links)
- Classical negation can be expressed by one of its halves (Q4237677) (← links)