scientific article; zbMATH DE number 1534491

MaRDI QIDQ4517273zbMATH OpenFDO

Authors A. S. Tonis, I. G. Perfil'eva

Publication date 21 November 2000

zbMATH Keywords

functions of the algebra of a logicinfinite-valued propositional calculusLukasiewicz semantics

Mathematics Subject Classification ID

Many-valued logic (03B50)

Recommendations

• Infinite truth-functional logic
• Systems of the propositional and of the functional calculus based on one primitive term
• Infinite valued Łukasiewicz logic
• A formal system of first-order predicate calculus with infinitely long expressions
• Functional system of BL-algebra with infinite formulas
• First-order logic with reachability predicates on infinite systems
• scientific article; zbMATH DE number 29724
• Proof systems for infinite behaviours
• A propositional calculus for inconsistent deductive systems

Cited in

(6)

• The complexity of McNaughton functions of one variable
• Normal forms for fuzzy logic functions and their approximation ability
• A constructive proof of McNaughton's theorem in infinite-valued logic
• scientific article; zbMATH DE number 1790416 (Why is no real title available?)
• Normal form of Łukasiewicz logic formulae and related counting problems
• A semantically complete extension sequence of the system \(\mathcal L^\ast\)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4517273)