Pages that link to "Item:Q2531861"

The following pages link to A formal theory of the logical values. I (Q2531861):

Displaying 3 items.

• Possible worlds in use (Q647416) (← links)
• Matrix approach in methodology of sentential calculi (Q1229698) (← links)
• A survey of nonstandard sequent calculi (Q2259014) (← links)