Pages that link to "Item:Q4221296"
From MaRDI portal
The following pages link to New solutions to Novikov's problem for intuitionistic connectives (Q4221296):
Displaying 9 items.
- Irreflexive modality as a new logical connective in the Dummett logic (Q467677) (← links)
- On some compatible operations on Heyting algebras (Q763330) (← links)
- Nonstandard connectives of intuitionistic propositional logic (Q1111536) (← links)
- Continuality of the family of complete Novikov logics with new monadic connective (Q1280369) (← links)
- Irreflexive modality in the intuitionistic propositional logic and Novikov completeness (Q1288137) (← 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)
- An algebraic approach to intuitionistic connectives (Q4328824) (← links)