Pages that link to "Item:Q3329440"
From MaRDI portal
The following pages link to A Formalisation of an ℵ<sub>0</sub>‐Valued Propositional Calculus with Variable Functors (Q3329440):
Displaying 6 items.
- Formalization of functionally complete propositional calculus with the functor of implication as the only primitive term (Q918531) (← links)
- Extensions of the \(\aleph_ 0\)-valued Łukasiewicz propositional logic (Q1309335) (← links)
- Formalisations of Many‐Valued Propositional Calculi with Variable Functors (Q3347858) (← 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)