On constructible falsity in the constructive logic with strong negation
From MaRDI portal
Publication:3257771
DOI10.4064/cm-6-1-287-310zbMath0087.01001OpenAlexW1418997516MaRDI QIDQ3257771
Helena Rasiowa, Andrzej Białynicki-Biruła
Publication date: 1958
Published in: Colloquium Mathematicum (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/210375
Related Items (12)
Maximal subalgebras of \(\mathrm{MV}_n\)-algebras. A proof of a conjecture of A. Monteiro ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Coproducts in the categories of Kleene and three-valued Lukasiewicz algebras ⋮ Notes on \(\eta\)-lattices and constructive logic with strong negation ⋮ The lattice of global sections of sheaves of chains over Boolean spaces ⋮ Nelson algebras through Heyting ones. I ⋮ Injective de Morgan and Kleene Algebras ⋮ Enumerating fuzzy switching functions and free Kleene algebras ⋮ Some investigations of varieties of \({\mathcal N}\)-lattices ⋮ The Craig interpolation theorem for propositional logics with strong negation ⋮ Nelson's negation on the base of weaker versions of intuitionistic negation
This page was built for publication: On constructible falsity in the constructive logic with strong negation
