Pages that link to "Item:Q3347858"
From MaRDI portal
The following pages link to Formalisations of Many‐Valued Propositional Calculi with Variable Functors (Q3347858):
Displaying 10 items.
- An alternative generalisation of the concept of duality (Q775346) (← links)
- Formalization of functionally complete propositional calculus with the functor of implication as the only primitive term (Q918531) (← links)
- The rule of procedure Re in \({\L}ukasiewicz's\) many-valued propositional calculi (Q1076008) (← links)
- On finite-valued propositional logical calculi (Q1913635) (← links)
- A Formalisation of an ℵ<sub>0</sub>‐Valued Propositional Calculus with Variable Functors (Q3329440) (← links)
- A GENERALISATION OF SLUPECKI'S CRITERION FOR FUNCTIONAL COMPLETENESS (Q3705425) (← links)
- GENERALISED FUNCTIONAL COMPLETENESS OF SETS OFm-VALUED SHEFFER FUNCTIONS (Q3705426) (← links)
- A Simplified Self <i>m</i>‐AL Set of Primitive Functors for the <i>m</i>‐Valued Propositional Calculus (Q3843600) (← links)
- (Q5527809) (← links)
- Axiom schemes for <i>m</i>-valued propositions calculi (Q5845641) (← links)