On constructible falsity in the constructive logic with strong negation

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

zbMATH Keywords

philosophy and foundations of mathematics

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