Pages that link to "Item:Q1073779"
From MaRDI portal
The following pages link to An intuitionistic Sheffer function (Q1073779):
Displaying 8 items.
- A class of Sheffer functions obtained by \(\Delta\)-composition of functions (Q1100487) (← links)
- On Sheffer symmetric functions in three-valued logic (Q1113890) (← links)
- There are denumerably many ternary intuitionistic Sheffer functions (Q1118587) (← links)
- Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different (Q2259008) (← links)
- The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony (Q2259011) (← links)
- SCOMPLETENESS OF SETS OF THREE-VALUED SHEFFER FUNCTION (Q3325695) (← links)
- (Q3340833) (← links)
- GENERALISED FUNCTIONAL COMPLETENESS OF SETS OFm-VALUED SHEFFER FUNCTIONS (Q3705426) (← links)