Pages that link to "Item:Q1240220"
From MaRDI portal
The following pages link to On some new intuitionistic propositional connectives. I (Q1240220):
Displayed 15 items.
- Compatible operations on residuated lattices (Q763311) (← links)
- On some compatible operations on Heyting algebras (Q763330) (← links)
- On the free frontal implicative semilattice extension of a frontal Hilbert algebra (Q780095) (← links)
- Semantic characterization of intuitionistic logical connectives (Q1111537) (← links)
- On a second order propositional operator in intuitionistic logic (Q1158419) (← links)
- On the completeness of a new intuitionistic connective (Q1387337) (← links)
- The Smetanich logic \(T^ \Phi\) and two definitions of a new intuitionistic connective (Q1905252) (← links)
- On an extension of Gabbay's logic (Q1972663) (← links)
- Irreflexive modality on a chain of type \(\omega\) and P. S. Novikov completeness (Q2026740) (← links)
- What is a relevant connective? (Q2155944) (← links)
- Compatible operations on commutative weak residuated lattices (Q2343034) (← links)
- On principal congruences in distributive lattices with a commutative monoidal operation and an implication (Q2422313) (← links)
- Principal congruences in weak Heyting algebras (Q2630276) (← links)
- The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★ (Q3647244) (← links)
- An algebraic approach to intuitionistic connectives (Q4328824) (← links)