The following pages link to (Q3346288):
Displaying 8 items.
- Refutation calculi for certain intermediate propositional logics (Q689214) (← links)
- Modal companions of intermediate propositional logics (Q1194106) (← links)
- A study of intermediate propositional logics on the third slice (Q1208111) (← links)
- Propositional mixed logic: its syntax and semantics (Q3643261) (← links)
- (Q3688377) (← links)
- Semantics for some intermediate logics (Q3731579) (← links)
- On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics (Q4644542) (← links)
- On the Independent Axiomatizability of Modal and Intermediate Logics (Q4835534) (← links)