scientific article; zbMATH DE number 1163924

MaRDI QIDQ4395548zbMATH OpenFDO

Authors

Publication date 10 December 1998

zbMATH Keywords

de Morgan algebraHeyting algebralogical matrixmany-valued logictruth function systemsŁukasiewicz logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Other algebras related to logic (03G25)

Recommendations

• scientific article; zbMATH DE number 5316604
• scientific article; zbMATH DE number 2196610
• Fixed Point Logics
• A first-order logic with no logical constants
• Fixed points in propositional nonmonotonic logic
• scientific article; zbMATH DE number 753769
• An expansion of basic logic with fixed points
• A logic of fixpoint definitions
• A consistent prepositional logic without any finite models
• A mathematical logic without variables. I

Cited in

(3)

• A first-order logic with no logical constants
• Some dual logic without tautologies
• Image of Soviet and Russian logic in the West. Latter Half of the XXth Century

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 Q4395548)