Pages that link to "Item:Q1970642"
From MaRDI portal
The following pages link to New intuitionistic logical constants and Novikov completeness (Q1970642):
Displaying 12 items.
- A new constant in superintuitionistic logic L3 (Q498291) (← links)
- New constants in two pretabular superintuitionistic logics (Q695769) (← links)
- On the number of new logical constants in intuitionistic propositional calculus (Q1280312) (← 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)
- A new regular constant in intuitionistic propositional logic (Q1357985) (← links)
- Some new intuitionistic equivalents of Zorn's Lemma (Q1423638) (← links)
- New constants in the superintuitionistic logic L2 (Q2440003) (← links)
- Weak Logical Constants and Second Order Definability of the Full-Strength Logical Constants (Q3211279) (← links)
- (Q3638471) (← links)
- New solutions to Novikov's problem for intuitionistic connectives (Q4221296) (← links)
- (Q4811784) (← links)