Pages that link to "Item:Q2531861"
From MaRDI portal
The following pages link to A formal theory of the logical values. I (Q2531861):
Displayed 5 items.
- Possible worlds in use (Q647416) (← links)
- Matrix approach in methodology of sentential calculi (Q1229698) (← links)
- A survey of nonstandard sequent calculi (Q2259014) (← links)
- A Sequent Systems without Improper Derivations (Q6162080) (← links)
- A Classification of Improper Inference Rules (Q6200440) (← links)