Caracterisation des algèbres de Nelson par des egalités, I

DOI10.3792/pja/1195521624zbMath0158.00803OpenAlexW4230002924WikidataQ29400298 ScholiaQ29400298MaRDI QIDQ5540439

No author found.

Publication date: 1967

Published in: Proceedings of the Japan Academy, Series A, Mathematical Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3792/pja/1195521624

zbMATH Keywords

mathematical logic

Related Items

Boolean elements in Lukasiewicz algebras, I, The class of Kleene algebras satisfying an interpolation property and Nelson algebras, Negation and Implication in Quasi-Nelson Logic, Representation of De Morgan and (semi-)Kleene lattices, Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation, The logic Ł^•, REPRESENTING REGULAR PSEUDOCOMPLEMENTED KLEENE ALGEBRAS BY TOLERANCE-BASED ROUGH SETS, Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1985, The value of the one value: \textit{exactly true logic} revisited, On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices, Representation of Nelson algebras by rough sets determined by quasiorders, Two axiomatizations of Nelson algebras., Defining rough sets as core-support pairs of three-valued functions, Unnamed Item, Kleene algebra of partial predicates, On some categories of involutive centered residuated lattices, Nelson algebras through Heyting ones. I, On the structure of varieties with equationally definable principal congruences. II, Compatibly involutive residuated lattices and the Nelson identity, Some investigations of varieties of \({\mathcal N}\)-lattices