Pages that link to "Item:Q609651"

The following pages link to An alternative propositional calculus for application to empirical sciences (Q609651):

Displaying 2 items.

• Hilbert-style axiom systems for the matrix-based logics \(\mathrm{RMQ}^-\) and \(\mathrm{RMQ}^\ast\) (Q497423) (← links)
• Prior’s OIC nonconservativity example revisited (Q4583353) (← links)