Pages that link to "Item:Q4607851"
From MaRDI portal
The following pages link to General normal forms for any additive logic (Q4607851):
Displaying 4 items.
- An algebraic theory of normal forms (Q1346245) (← links)
- The finitely axiomatizable complete theories of non-associative arrow frames (Q1731561) (← links)
- First order logic without equality on relativized semantics (Q1791054) (← links)
- A normal form for logical derivations implying one for arithmetic derivations (Q2367413) (← links)