| Publication | Date of Publication | Type |
|---|
| About a 'concrete' Rauszer Boolean algebra generated by a preorder | 2019-05-19 | Paper |
Two old representation theorems and information systems
Logic Journal of the IGPL | 2013-04-17 | Paper |
| A Kripke-style and relational semantics for logics based on Łukasiewicz algebras | 2008-07-01 | Paper |
| scientific article; zbMATH DE number 1735910 (Why is no real title available?) | 2002-09-16 | Paper |
| scientific article; zbMATH DE number 1775505 (Why is no real title available?) | 2002-08-04 | Paper |
| scientific article; zbMATH DE number 1303626 (Why is no real title available?) | 2000-05-25 | Paper |
Rough sets and three-valued structures
(available as arXiv preprint) | 1999-10-11 | Paper |
Symmetrical Heyting algebras with a finite order type of operators
Studia Logica | 1995-10-18 | Paper |
| scientific article; zbMATH DE number 4037894 (Why is no real title available?) | 1988-01-01 | Paper |
A representation theory for orthomodular lattices by means of closure spaces
Acta Mathematica Hungarica | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3891435 (Why is no real title available?) | 1985-01-01 | Paper |
SYMMETRICAL HEYTING ALGEBRAS WITH OPERATORS
Mathematical Logic Quarterly | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3889597 (Why is no real title available?) | 1983-01-01 | Paper |
A Simple Proof of a Characterization of Complete Orthocomplemented Lattices
Bulletin of the London Mathematical Society | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3801605 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3884152 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3593561 (Why is no real title available?) | 1978-01-01 | Paper |
SUR UNE DÉFINITION DES ALGÈBRES DE LUKASIEWICZ ET DE POST D'ORDRE n
Demonstratio Mathematica | 1978-01-01 | Paper |
An axiom system for three-valued Lukasiewicz propositional calculus
Notre Dame Journal of Formal Logic | 1977-01-01 | Paper |
Algèbres implicatives trivalentes de Lukasiewicz libres
Discrete Mathematics | 1977-01-01 | Paper |
Lukasiewicz and Symmetrical Heyting Algebras
Mathematical Logic Quarterly | 1977-01-01 | Paper |
Les algèbres de Heyting-Brouwer et de Łukasiewicz trivalentes
Notre Dame Journal of Formal Logic | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3561340 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3572152 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3539217 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3480580 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3334192 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3289417 (Why is no real title available?) | 1968-01-01 | Paper |
