Pages that link to "Item:Q4521288"
From MaRDI portal
The following pages link to Defining double negation elimination (Q4521288):
Displaying 11 items.
- Understanding negation implicationally in the relevant logic R (Q514515) (← links)
- Double-negation elimination in some propositional logics (Q813082) (← links)
- Negation in the context of gaggle theory (Q813083) (← links)
- Sequent calculi for semi-De Morgan and De Morgan algebras (Q1653653) (← links)
- Subminimal negation on the Australian plan (Q2079709) (← links)
- Negation on the Australian plan (Q2295602) (← links)
- Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics (Q2363497) (← links)
- A basic quasi-Boolean logic of intuitionistic character (Q4994021) (← links)
- A Semantic Analysis of Stone and Dual Stone Negations with Regularity (Q5224497) (← links)
- Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras (Q5249693) (← links)
- A study of algebraic structures and logics based on categories of rough sets (Q6535069) (← links)