Pages that link to "Item:Q695777"

The following pages link to A hybrid calculus for logic \(N^{*}\): residual finiteness and decidability (Q695777):

Displaying 2 items.

• Composition of an intuitionistic negation and negative modalities as a necessity operator (Q2434603) (← links)
• Double Negation Operator in Logic N ∗ (Q5741336) (← links)