| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q4259290 | 1999-08-23 | Paper |
| A partially ordered extension of the integers | 1995-11-28 | Paper |
| Cecylia Rauszer | 1995-01-08 | Paper |
| Axiomatization and completeness of uncountably valued approximation logic | 1994-05-23 | Paper |
| \(LT\)-fuzzy sets | 1993-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3976584 | 1992-06-26 | Paper |
| Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents | 1992-06-25 | Paper |
| Plain semi-Post algebras as a poset-based generalization of Post algebras and their representability | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3811753 | 1988-01-01 | Paper |
| Semi-Post algebras | 1987-01-01 | Paper |
| Subalgebras and homomorphisms of semi-Post algebras | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3476789 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3788010 | 1987-01-01 | Paper |
| Approximating sets with equivalence relations | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3783525 | 1986-01-01 | Paper |
| Topological representations of Post algebras of order \(\omega ^ +\) and open theories based on \(\omega ^ +\)-valued Post logic | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3750993 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3756510 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3681934 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3671105 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3728882 | 1982-01-01 | Paper |
| On logic of complex algorithms | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3909985 | 1980-01-01 | Paper |
| Algorithmic logic. Multiple-valued extensions | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3862381 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3871919 | 1979-01-01 | Paper |
| In memory of Andrzej Mostowski | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3882419 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4130976 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4161301 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4166739 | 1977-01-01 | Paper |
| Mixed-valued predicate calculi | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4109270 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4110979 | 1975-01-01 | Paper |
| An algebraic approach to non-classical logics | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4071738 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4107894 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4107895 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4113830 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4403720 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4403721 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5663755 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5675345 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5650663 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5654015 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5660504 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5625154 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5575536 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5602902 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5682322 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5682321 | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5726686 | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5734410 | 1963-01-01 | Paper |
| Addition au travail `A proof of Herbrand theorem' | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3279278 | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3257111 | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3260563 | 1959-01-01 | Paper |
| On the isomorphism of Lindenbaum algebras with fields of sets | 1958-01-01 | Paper |
| N-lattices and constructive logic with strong negation | 1958-01-01 | Paper |
| On constructible falsity in the constructive logic with strong negation | 1958-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3250590 | 1957-01-01 | Paper |
| A proof of Herbrand's theorem | 1956-01-01 | Paper |
| On the ε-theorems | 1956-01-01 | Paper |
| On a fragment of the implicative propositional calculus | 1955-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3228594 | 1955-01-01 | Paper |
| An application of lattices to logic | 1955-01-01 | Paper |
| Algebraic models of axiomatic theories | 1955-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5850529 | 1955-01-01 | Paper |
| A geometric interpretation of logical formulae | 1954-01-01 | Paper |
| On existential theorems in non-classical functional calculi | 1954-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5830647 | 1954-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5832053 | 1954-01-01 | Paper |
| A proof of the compactness theorem for arithmetical classes | 1953-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5820541 | 1953-01-01 | Paper |
| Algebraic treatment of the notion of satisfiability | 1953-01-01 | Paper |
| Algebraic Treatment of the Functional Calculi of Heyting and Lewis | 1951-01-01 | Paper |
| A proof of the Skolem-Löwenheim Theorem | 1951-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5799430 | 1950-01-01 | Paper |
| A proof of the completeness theorem of Grödel | 1950-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5799910 | 1949-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5798015 | 1948-01-01 | Paper |
