Pages that link to "Item:Q1280312"
From MaRDI portal
The following pages link to On the number of new logical constants in intuitionistic propositional calculus (Q1280312):
Displaying 6 items.
- Cardinalities of proper ideals in some lattices of strengthenings of the intuitionistic propositional logic (Q800356) (← links)
- Continuality of the family of complete Novikov logics with new monadic connective (Q1280369) (← links)
- A new regular constant in intuitionistic propositional logic (Q1357985) (← links)
- New intuitionistic logical constants and Novikov completeness (Q1970642) (← links)
- Axiomatics of P.S. Novikov complete extensions of the superintuitionistic logic L2 in the language containing an additional constant (Q2932459) (← links)
- On Number of Lindenbaum's Oversystems of Propositional and Predicate Calculi (Q3727948) (← links)