SUR UNE DÉFINITION DES ALGÈBRES DE LUKASIEWICZ ET DE POST D'ORDRE n

DOI10.1515/DEMA-1978-0422zbMath0404.03060OpenAlexW2783275977MaRDI QIDQ4189276

Luisa Iturrioz, Denise Becchio

Publication date: 1978

Published in: Demonstratio Mathematica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/dema-1978-0422

zbMATH Keywords

De Morgan AlgebraPost AlgebraHeyting AlgebrasMulti-Valued LogicLukasiewicz AlgebrasDe Morgan NegationKleene LawPositive Implicational Propositional CalculusQuasi-Boolean Algebra

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Many-valued logic (03B50) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Post algebras (lattice-theoretic aspects) (06D25) Logical aspects of ?ukasiewicz and Post algebras (03G20)

This page was built for publication: SUR UNE DÉFINITION DES ALGÈBRES DE LUKASIEWICZ ET DE POST D'ORDRE n