Pages that link to "Item:Q5250314"
From MaRDI portal
The following pages link to Intuitionistic Basis for Input/Output Logic (Q5250314):
Displaying 6 items.
- A concept approach to input/output logic (Q898776) (← links)
- From input/output logics to conditional logics via sequents -- with provers (Q2142070) (← links)
- A tableaux calculus for default intuitionistic logic (Q2305412) (← links)
- Describing a basis in semireduced form for inference rules of intuitionistic logic (Q2746913) (← links)
- (Q5039164) (← links)
- Subordination algebras as semantic environment of input/output logic (Q6160753) (← links)