| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 1326970 (Why is no real title available?) | 1999-08-23 | Paper |
A partially ordered extension of the integers
Studia Logica | 1995-11-28 | Paper |
Cecylia Rauszer
Studia Logica | 1995-01-08 | Paper |
Axiomatization and completeness of uncountably valued approximation logic
Studia Logica | 1994-05-23 | Paper |
\(LT\)-fuzzy sets
Fuzzy Sets and Systems | 1993-01-16 | Paper |
| scientific article; zbMATH DE number 19156 (Why is no real title available?) | 1992-06-26 | Paper |
Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents
International Journal of Approximate Reasoning | 1992-06-25 | Paper |
Plain semi-Post algebras as a poset-based generalization of Post algebras and their representability
Studia Logica | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4080967 (Why is no real title available?) | 1988-01-01 | Paper |
Semi-Post algebras
Studia Logica | 1987-01-01 | Paper |
Subalgebras and homomorphisms of semi-Post algebras
Studia Logica | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4145874 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4051618 (Why is no real title available?) | 1987-01-01 | Paper |
Approximating sets with equivalence relations
Theoretical Computer Science | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4047069 (Why is no real title available?) | 1986-01-01 | Paper |
Topological representations of Post algebras of order \(\omega ^ +\) and open theories based on \(\omega ^ +\)-valued Post logic
Studia Logica | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3988694 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 4005603 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3903964 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3823723 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3961584 (Why is no real title available?) | 1982-01-01 | Paper |
On logic of complex algorithms
Studia Logica | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3720339 (Why is no real title available?) | 1980-01-01 | Paper |
Algorithmic logic. Multiple-valued extensions
Studia Logica | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3664337 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3675303 (Why is no real title available?) | 1979-01-01 | Paper |
In memory of Andrzej Mostowski
Studia Logica | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3687336 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3558938 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3558938 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3593532 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3600010 (Why is no real title available?) | 1977-01-01 | Paper |
Mixed-valued predicate calculi
Studia Logica | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3532507 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3534464 (Why is no real title available?) | 1975-01-01 | Paper |
An algebraic approach to non-classical logics
Studies in Logic and the Foundations of Mathematics | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3489107 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3530947 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3530948 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3537675 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3436613 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3436614 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3395765 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3411005 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3378883 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3383979 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3391938 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3349806 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3292839 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3324712 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3417459 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3417458 (Why is no real title available?) | 1964-01-01 | Paper |
| scientific article; zbMATH DE number 3190327 (Why is no real title available?) | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3198011 (Why is no real title available?) | 1963-01-01 | Paper |
Addition au travail `A proof of Herbrand theorem'
Journal de Mathématiques Pures et Appliquées. Neuvième Série | 1961-01-01 | Paper |
| scientific article; zbMATH DE number 3161194 (Why is no real title available?) | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3140496 (Why is no real title available?) | 1959-01-01 | Paper |
| scientific article; zbMATH DE number 3143685 (Why is no real title available?) | 1959-01-01 | Paper |
On the isomorphism of Lindenbaum algebras with fields of sets
Colloquium Mathematicum | 1958-01-01 | Paper |
N-lattices and constructive logic with strong negation
Fundamenta Mathematicae | 1958-01-01 | Paper |
On constructible falsity in the constructive logic with strong negation
Colloquium Mathematicum | 1958-01-01 | Paper |
| scientific article; zbMATH DE number 3134289 (Why is no real title available?) | 1957-01-01 | Paper |
On the ε-theorems
Fundamenta Mathematicae | 1956-01-01 | Paper |
A proof of Herbrand's theorem
Journal de Mathématiques Pures et Appliquées. Neuvième Série | 1956-01-01 | Paper |
| scientific article; zbMATH DE number 3114378 (Why is no real title available?) | 1955-01-01 | Paper |
An application of lattices to logic
Fundamenta Mathematicae | 1955-01-01 | Paper |
Algebraic models of axiomatic theories
Fundamenta Mathematicae | 1955-01-01 | Paper |
| scientific article; zbMATH DE number 3111918 (Why is no real title available?) | 1955-01-01 | Paper |
On a fragment of the implicative propositional calculus
Studia Logica | 1955-01-01 | Paper |
A geometric interpretation of logical formulae
Studia Logica | 1954-01-01 | Paper |
On existential theorems in non-classical functional calculi
Fundamenta Mathematicae | 1954-01-01 | Paper |
| scientific article; zbMATH DE number 3091851 (Why is no real title available?) | 1954-01-01 | Paper |
| scientific article; zbMATH DE number 3094260 (Why is no real title available?) | 1954-01-01 | Paper |
A proof of the compactness theorem for arithmetical classes
Fundamenta Mathematicae | 1953-01-01 | Paper |
| scientific article; zbMATH DE number 3081673 (Why is no real title available?) | 1953-01-01 | Paper |
Algebraic treatment of the notion of satisfiability
Fundamenta Mathematicae | 1953-01-01 | Paper |
Algebraic Treatment of the Functional Calculi of Heyting and Lewis
Fundamenta Mathematicae | 1951-01-01 | Paper |
A proof of the Skolem-Löwenheim Theorem
Fundamenta Mathematicae | 1951-01-01 | Paper |
| scientific article; zbMATH DE number 3060221 (Why is no real title available?) | 1950-01-01 | Paper |
A proof of the completeness theorem of Grödel
Fundamenta Mathematicae | 1950-01-01 | Paper |
| scientific article; zbMATH DE number 3060702 (Why is no real title available?) | 1949-01-01 | Paper |
| scientific article; zbMATH DE number 3058850 (Why is no real title available?) | 1948-01-01 | Paper |
