scientific article; zbMATH DE number 3643235

zbMATH Open0414.03013MaRDI QIDQ3048809FDOQ3048809

Authors: Denise Becchio 

Publication date: 1978

Full work available at URL: http://www.numdam.org/item?id=ASCFM_1978__66_16_33_0

Title of this publication is not available (Why is that?)

zbMATH Keywords

many-valued propositional calculiquasi- Boolean algebrastrivalent logic of Lukasiewicz

Mathematics Subject Classification ID

Many-valued logic (03B50) Logical aspects of lattices and related structures (03G10) Logical aspects of ?ukasiewicz and Post algebras (03G20)

Cites Work

• L'oeuvre scientifique de Jan Łukasiewicz dans le domaine de la logique mathématique
• Title not available (Why is that?)
• Title not available (Why is that?)
• Sur les algèbres de Lukasiewicz injectives
• Title not available (Why is that?)
• Boolean elements in Lukasiewicz algebras, I
• Boolean elements in Lukasiewicz algebras, II
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Les algèbres de Heyting et de Lukasiewicz trivalentes
• Title not available (Why is that?)
• Some remarks on three-valued logic of J. Lukasiewicz
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the characterization of centered Lukasiewicz algebras
• Title not available (Why is that?)
• The logical works of J. Łukasiewicz
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Boolean multiplicative closures, I
• Title not available (Why is that?)
• A proof of completeness of the three-valued C-N sentential calculus of Lukasiewicz
• Pure three-valued Łukasiewiczian implication
• Title not available (Why is that?)
• Title not available (Why is that?)
• Further axiomatizations of the Lukasiewicz three-valued calculus
• A strong completeness theorem for 3-valued logic
• Les particularites du système propositionnel trivalent de Lukasiewicz s'expliquent-elles par le conflit de deux exigences?
• Axiom Systems for Three-Valued Logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Some three valued logics and its algebraic representations
• Title not available (Why is that?)
• Title not available (Why is that?)
• A characterization of Lukasiewiczian algebra, I
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On ternary logic

Cited In (4)

• Title not available (Why is that?)
• Discrete dualities for double Stone algebras
• Modality-free pre-rough logic
• Algebraic methods for rough approximation spaces by lattice interior-closure operations

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