Formalisations of Many‐Valued Propositional Calculi with Variable Functors
From MaRDI portal
Recommendations
- A Formalisation of an ℵ0‐Valued Propositional Calculus with Variable Functors
- scientific article; zbMATH DE number 3891322
- scientific article; zbMATH DE number 3064990
- scientific article; zbMATH DE number 3240380
- Calculi for many-valued logics
- Many-Valued Modal Propositional Calculi
- Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages
- On expressibility of functions of many-valued logic in some logical-functional languages
- Encoding many-valued logic in \lambda-calculus
Cited in
(15)- The rule of procedure Re in \({\L}ukasiewicz's\) many-valued propositional calculi
- On finite-valued propositional logical calculi
- scientific article; zbMATH DE number 3847364 (Why is no real title available?)
- A Formalisation of an ℵ0‐Valued Propositional Calculus with Variable Functors
- scientific article; zbMATH DE number 3891322 (Why is no real title available?)
- scientific article; zbMATH DE number 3926885 (Why is no real title available?)
- A GENERALISATION OF SLUPECKI'S CRITERION FOR FUNCTIONAL COMPLETENESS
- GENERALISED FUNCTIONAL COMPLETENESS OF SETS OFm-VALUED SHEFFER FUNCTIONS
- A Simplified Self m‐AL Set of Primitive Functors for the m‐Valued Propositional Calculus
- scientific article; zbMATH DE number 124098 (Why is no real title available?)
- scientific article; zbMATH DE number 3240380 (Why is no real title available?)
- scientific article; zbMATH DE number 3185951 (Why is no real title available?)
- Axiom schemes for m-valued propositions calculi
- An alternative generalisation of the concept of duality
- Formalization of functionally complete propositional calculus with the functor of implication as the only primitive term
This page was built for publication: Formalisations of Many‐Valued Propositional Calculi with Variable Functors
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3347858)
