On constructible falsity in the constructive logic with strong negation

DOI10.4064/CM-6-1-287-310MaRDI QIDQ3257771zbMATH OpenOpenAlexFDO

Authors Helena Rasiowa, Andrzej Białynicki-Birula

Publication date 1958

Published in Colloquium Mathematicum (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://eudml.org/doc/210375

zbMATH Keywords

philosophy and foundations of mathematics

Cited in

(12)

• Some investigations of varieties of \({\mathcal N}\)-lattices
• The Craig interpolation theorem for propositional logics with strong negation
• 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
• Injective de Morgan and Kleene Algebras
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
• Nelson algebras through Heyting ones. I
• Enumerating fuzzy switching functions and free Kleene algebras
• Nelson's negation on the base of weaker versions of intuitionistic negation
• 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

This page was built for publication: On constructible falsity in the constructive logic with strong negation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3257771)