Pages that link to "Item:Q5055728"
From MaRDI portal
The following pages link to Negation with logical variables in conditional rewriting (Q5055728):
Displaying 6 items.
- Contextual rewriting as a sound and complete proof method for conditional LOG-specifications (Q1323311) (← links)
- Logicality of conditional rewrite systems (Q1978646) (← links)
- FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE (Q3188328) (← links)
- (Q3795208) (← links)
- (Q3817657) (← links)
- Boolean negation and non-conservativity II: The variable-sharing property (Q5020360) (← links)