A. Białynicki-Birula and H. Rasiowa. On constructible falsity in the constructive logic with strong negation. Colloquium mathematicum, vol. 6 (1958), pp. 287–310 [Book Review]

, , &
Journal of Symbolic Logic 35 (1):138-138 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271182

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

External links

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

A. Białynicki-Birula and H. Rasiowa. On constructible falsity in the constructive logic with strong negation. Colloquium mathematicum, vol. 6 (1958), pp. 287–310. [REVIEW]V. A. Jankov, Sue Walker & Elliott Mendelson - 1970 - Journal of Symbolic Logic 35 (1):138-138.
Białynicki-Birula A. and Rasiowa H.. On constructible falsity in the constructive logic with strong negation. Colloquium mathematicum, vol. 6 , pp. 287–310. [REVIEW]David Nelson - 1970 - Journal of Symbolic Logic 35 (1):138-138.
Review: A. Bialynicki-Birula, H. Rasiowa, On Constructible Falsity in the Constructive Logic with Strong Negation. [REVIEW]David Nelson - 1970 - Journal of Symbolic Logic 35 (1):138-138.
V. A. Ánkov. O nékotoryh supérkonstruktivnyh isčisléniáh vyskazyvanij. Doklady Akadémii Nauk SSSR, vol. 151 , pp. 796–798. - V. A. Jankov. Some superconstructive propositional calculi. English translation of the preceding by Sue Walker. Soviet mathematics, vol. 4 no. 4 , pp. 1103–1105. - V. A. Ánkov. O réalizuémyh formulah logiki vyskazyvanij.Doklady Akadémii Nauk SSSR, vol. 151 , pp. 1035–1037. - V. A. Jankov. Realizable formulas of propositional logic. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 4 no. 4 , pp. 1146–1148. - V. A. Ánkov. O sváži méždu vyvodimost′ú ν intuičionistskom isčislénii vyskazyvanij i konéčnymi implikativnymi strukturami. Doklady Akadémii Nauk SSSR, vol. 151 , pp. 1293–1294. - V. A. Jankov. The relationship between deducibility in the intuitionist propositional calculus and finite implicational structures. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 4 no. 4 , pp. 1203–1204. [REVIEW]Gene F. Rose - 1970 - Journal of Symbolic Logic 35 (1):138-139.
Rasiowa H.. -lattices and constructive logic with strong negation. Fundamenta mathematicae, vol. 46 , pp. 61–80.David Nelson - 1969 - Journal of Symbolic Logic 34 (1):118-118.
Review: A. Bialynicki-Birula, H. Rasiowa, On the Representation of Quasi-Boolean Algebras. [REVIEW]H. Gericke - 1957 - Journal of Symbolic Logic 22 (4):370-370.
On Constructible Falsity in the Constructive Logic with Strong Negation.A. Bialynicki-Birula & H. Rasiowa - 1970 - Journal of Symbolic Logic 35 (1):138-138.
Rasiowa H. and Sikorski R.. On the isomorphism of Lindenbaum algebras with fields of sets. Colloquium mathematicum, vol. 5 , pp. 143–158. [REVIEW]Alfred Horn - 1962 - Journal of Symbolic Logic 27 (1):98-98.
Białynicki-Birula A. and Rasiowa H.. On the representation of quasi-Boolean algebras. Bulletin de l'Académie Polonaise des Sciences, Classe III, Bd. 5 , S. 259–261. [REVIEW]H. Gericke - 1957 - Journal of Symbolic Logic 22 (4):370-370.
Review: H. Rasiowa, $mathcal{N}$-Lattices and Constructive Logic with Strong Negation. [REVIEW]David Nelson - 1969 - Journal of Symbolic Logic 34 (1):118-118.

Analytics

Added to PP
2013-11-03

Downloads
28 (#589,033)

6 months
4 (#862,833)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

The Admissible Rules of ${{mathsf{BD}_{2}}}$ and ${mathsf{GSc}}$.Jeroen P. Goudsmit - 2018 - Notre Dame Journal of Formal Logic 59 (3):325-353.

Add more citations

References found in this work

No references found.

Add more references