Bochvar's algebras and corresponding propositional calculi

&
Bulletin of the Section of Logic 9 (1):39-43 (1980)
  Copy   BIBTEX

Abstract

In [1] D. A. Bochvar formulated a 3-valued logic. He analyzed the paradoxes of Russel and Weyl, and by means of the logic he proved that the paradox formulae were meaningless. In this paper the class of algebras corresponding to n- valued generalizations of the Bochovar's 3-valued logic is investigated. The class is dened axiomatically. The axiomatization for Bochovar's n-valued logic Bn is obtained on the basis of algebraic axiomatization

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,459

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Proper n-valued łukasiewicz algebras as s-algebras of łukasiewicz n-valued prepositional calculi.Roberto Cignoli - 1982 - Studia Logica 41 (1):3 - 16.
On Rine's view of Boolean algebras.George Epstein - 1981 - Bulletin of the Section of Logic 10 (2):91-92.
Interpolation Properties For A Class Of Many-valued Propositional Calculi.Grzegorz Malinowski & Marek Michalczyk - 1981 - Bulletin of the Section of Logic 10 (1):9-14.
S-algebras For N-valued Sentential Calculi Of Lukasiewicz.Grzegorz Malinowski - 1974 - Bulletin of the Section of Logic 3 (2):25-30.
Axiomatization of the sentential logic dual to Sobocinski's n-valued logic.Anetta Górnicka - 2011 - Bulletin of the Section of Logic 40 (1/2):47-54.
G'3 as the logic of modal 3-valued Heyting algebras.Marcelo E. Coniglio, Aldo Figallo-Orellano, Alejandro Hernández-Tello & Miguel Perez-Gaspar - 2022 - IfCoLog Journal of Logics and Their Applications 9 (1):175-197.
Extending Łukasiewicz Logics with a Modality: Algebraic Approach to Relational Semantics.Georges Hansoul & Bruno Teheux - 2013 - Studia Logica 101 (3):505-545.
A note on the axiomatization of equational classes on "n"-valued Lukasiewicz algebras.M. E. Adams - 1990 - Notre Dame Journal of Formal Logic 31:304-307.
Tense Polyadic N × M-Valued Łukasiewicz–Moisil Algebras.Aldo V. Figallo & Gustavo Pelaitay - 2015 - Bulletin of the Section of Logic 44 (3/4):155-181.
Notes on n × m-valued Łukasiewicz Algebras with Negation.Claudia Sanza - 2004 - Logic Journal of the IGPL 12 (6):499-507.

Analytics

Added to PP
2015-02-02

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

On the Structure of Bochvar Algebras.Stefano Bonzio & Michele Pra Baldi - forthcoming - Review of Symbolic Logic:1-27.

Add more citations

References found in this work

No references found.

Add more references