| Publication | Date of Publication | Type |
|---|
A Strongly Complete Formalisation of a 5-Valued Propositional Calculus
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1987-01-01 | Paper |
A Formalisation, Using non-Standard Rules, of A 5-Valued Propositional Calculus
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1987-01-01 | Paper |
A Relationship Between Ordinary Functional Completeness and a Generalisation of the Concept
Mathematical Logic Quarterly | 1986-01-01 | Paper |
A GENERALISATION OF SLUPECKI'S CRITERION FOR FUNCTIONAL COMPLETENESS
Mathematical Logic Quarterly | 1984-01-01 | Paper |
GENERALISED FUNCTIONAL COMPLETENESS OF SETS OFm-VALUED SHEFFER FUNCTIONS
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3926885 (Why is no real title available?) | 1983-01-01 | Paper |
SCOMPLETENESS OF SETS OF THREE-VALUED SHEFFER FUNCTION
Mathematical Logic Quarterly | 1983-01-01 | Paper |
A Generalisation of the Concept of Functional Completeness and Applications to Modus Ponens
Mathematical Logic Quarterly | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3732009 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3609628 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3611314 (Why is no real title available?) | 1978-01-01 | Paper |
A Note on Formalisation by the Method of Description of Truth-Tables
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1978-01-01 | Paper |
A Three‐Valued Model for Set Theory
Mathematical Logic Quarterly | 1978-01-01 | Paper |
Formalisations of further ℵ<sub>0</sub>-valued Łukasiewicz propositional calculi
Journal of Symbolic Logic | 1978-01-01 | Paper |
Simplified formalisations of fragments of the propositional calculus
Notre Dame Journal of Formal Logic | 1977-01-01 | Paper |
Formalisations With Non‐Standard Degrees of Completeness
Mathematical Logic Quarterly | 1976-01-01 | Paper |
A Note on the Existence of Tautologies in Certain Propositional Calculi Without Propositional Variables
Mathematical Logic Quarterly | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3482297 (Why is no real title available?) | 1975-01-01 | Paper |
A note on the existence of tautologies without constants
Mathematical Logic Quarterly | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3450161 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3450162 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3450163 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3419110 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3419111 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3405892 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3405893 (Why is no real title available?) | 1972-01-01 | Paper |
Locally Full χ<sub>0</sub>‐Valued Propositional Calculi
Mathematical Logic Quarterly | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3341968 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3361249 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3363511 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3363513 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3292822 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3292825 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3314313 (Why is no real title available?) | 1969-01-01 | Paper |
SINGLE GENERATORS FOR HENKINIAN FRAGMENTS OF THE 2‐VALUED PROPOSITIONAL CALCULUS
Mathematical Logic Quarterly | 1969-01-01 | Paper |
The Degree of Completeness of the <i>m</i> -Valued Łukasiewicz Propositional Calculus
Journal of the London Mathematical Society | 1969-01-01 | Paper |
Some many‐valued propositional calculi without single generators
Mathematical Logic Quarterly | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3252191 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3252191 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3290276 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3294551 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3266577 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3322075 (Why is no real title available?) | 1967-01-01 | Paper |
A Formalisation of The χ<sub>0</sub>‐Valued ŁUkasiewicz Propositional Calculus With Variable Functors
Mathematical Logic Quarterly | 1967-01-01 | Paper |
A Formalisation of The χ<sub>0</sub>‐Valued ŁUkasiewicz Implicational Propositional Calculus With Variable Functors
Mathematical Logic Quarterly | 1967-01-01 | Paper |
A Formalisation Of The <i>M</i>‐Valued ŁUkasiewicz Propositional Calculus With Super‐Designated Truth‐Values
Mathematical Logic Quarterly | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3316867 (Why is no real title available?) | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3316868 (Why is no real title available?) | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3339366 (Why is no real title available?) | 1966-01-01 | Paper |
A Formalisation of the <i>m</i>‐Valued Lukasiewicz Implicational Propositional Calculus with Variable Functors
Mathematical Logic Quarterly | 1966-01-01 | Paper |
Two Non‐Henkinian Fragments of the 2‐Valued Propositional Calculus with Variable Functors
Mathematical Logic Quarterly | 1965-01-01 | Paper |
Formalisations of Certain Propositional Calculi with Partially Variable Functors
Mathematical Logic Quarterly | 1965-01-01 | Paper |
A Formalisation of Post's <i>m</i>‐Valued Propositional Calculus with Variable Functors
Mathematical Logic Quarterly | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3240380 (Why is no real title available?) | 1964-01-01 | Paper |
| scientific article; zbMATH DE number 3210023 (Why is no real title available?) | 1964-01-01 | Paper |
| scientific article; zbMATH DE number 3285179 (Why is no real title available?) | 1964-01-01 | Paper |
| scientific article; zbMATH DE number 3336768 (Why is no real title available?) | 1964-01-01 | Paper |
A Formalisation of the Propositional Calculus Corresponding to Wang's Calculus of Partial Predicates
Mathematical Logic Quarterly | 1963-01-01 | Paper |
Extensions of some theorems of Anderson and Belnap
Journal of Symbolic Logic | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3275584 (Why is no real title available?) | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3185951 (Why is no real title available?) | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3399207 (Why is no real title available?) | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3188496 (Why is no real title available?) | 1962-01-01 | Paper |
A Simplified Self <i>m</i>‐AL Set of Primitive Functors for the <i>m</i>‐Valued Propositional Calculus
Mathematical Logic Quarterly | 1962-01-01 | Paper |
An alternative generalisation of the concept of duality
Mathematische Annalen | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3346311 (Why is no real title available?) | 1961-01-01 | Paper |
| scientific article; zbMATH DE number 3346312 (Why is no real title available?) | 1961-01-01 | Paper |
Self-dual binary and ternary connectives for \(m\)-valued propositional calculi
Mathematische Annalen | 1961-01-01 | Paper |
| scientific article; zbMATH DE number 3142904 (Why is no real title available?) | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3345425 (Why is no real title available?) | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3346303 (Why is no real title available?) | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3185963 (Why is no real title available?) | 1960-01-01 | Paper |
An extension of a theorem of margaris
Journal of Symbolic Logic | 1960-01-01 | Paper |
Further Applications of Logical Computers to the Construction of Electrical Control Tables For Signalling Frames
Mathematical Logic Quarterly | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3140511 (Why is no real title available?) | 1959-01-01 | Paper |
| scientific article; zbMATH DE number 3143690 (Why is no real title available?) | 1959-01-01 | Paper |
| scientific article; zbMATH DE number 3146323 (Why is no real title available?) | 1959-01-01 | Paper |
A High Speed Parallel Adder
Mathematical Logic Quarterly | 1959-01-01 | Paper |
| Fragments of Many-Valued Statement Calculi | 1958-01-01 | Paper |
| scientific article; zbMATH DE number 3139742 (Why is no real title available?) | 1958-01-01 | Paper |
| scientific article; zbMATH DE number 3345426 (Why is no real title available?) | 1958-01-01 | Paper |
The use of universal decision elements as flip‐flops
Mathematical Logic Quarterly | 1958-01-01 | Paper |
Applications of logical computers to the construction of electrical control tables for signalling frames
Mathematical Logic Quarterly | 1958-01-01 | Paper |
Formulae corresponding to universal decision elements
Mathematical Logic Quarterly | 1958-01-01 | Paper |
| scientific article; zbMATH DE number 3166224 (Why is no real title available?) | 1957-01-01 | Paper |
| scientific article; zbMATH DE number 3122422 (Why is no real title available?) | 1956-01-01 | Paper |
| scientific article; zbMATH DE number 3122421 (Why is no real title available?) | 1956-01-01 | Paper |
An alternative formalisation of Sobociński's three‐valued implicational propositional calculus
Mathematical Logic Quarterly | 1956-01-01 | Paper |
Some formalisations of N<sub>0</sub>‐valued propositional calculi
Mathematical Logic Quarterly | 1956-01-01 | Paper |
| scientific article; zbMATH DE number 3112793 (Why is no real title available?) | 1955-01-01 | Paper |
A Gödel theorem for an infinite-valued. Erweiterter Aussagenkalkül
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1955-01-01 | Paper |
A single axiom for a partial system of the propositional calculus
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1955-01-01 | Paper |
| scientific article; zbMATH DE number 3093412 (Why is no real title available?) | 1954-01-01 | Paper |
| scientific article; zbMATH DE number 3093413 (Why is no real title available?) | 1954-01-01 | Paper |
A formalisation of the 2-valued propositional calculus with self-dual primitives
Mathematische Annalen | 1954-01-01 | Paper |
| scientific article; zbMATH DE number 3085182 (Why is no real title available?) | 1953-01-01 | Paper |
Some self-dual primitive functions for propositional calculi
Mathematische Annalen | 1953-01-01 | Paper |
Fragments of the \(m\)-valued propositional calculus
Mathematische Zeitschrift | 1953-01-01 | Paper |
Self-dual primitives for modal logic
Mathematische Annalen | 1953-01-01 | Paper |
The Degree of Completeness of the ℵ<sub>0</sub> -Valued Łukasiewicz Propositional Calculus
Journal of the London Mathematical Society | 1953-01-01 | Paper |
Conditioned disjunction as a primitive connective for the erweiterter Aussagenkalkül
Journal of Symbolic Logic | 1953-01-01 | Paper |
The <i>M</i>-valued calculus of non-contradiction
Journal of Symbolic Logic | 1953-01-01 | Paper |
The Degree of Completeness of the ℵ<sub>0</sub> -Valued Łukasiewicz Propositional Calculus
Journal of the London Mathematical Society | 1953-01-01 | Paper |
| scientific article; zbMATH DE number 3077146 (Why is no real title available?) | 1952-01-01 | Paper |
| scientific article; zbMATH DE number 3075778 (Why is no real title available?) | 1952-01-01 | Paper |
| scientific article; zbMATH DE number 3077144 (Why is no real title available?) | 1952-01-01 | Paper |
| scientific article; zbMATH DE number 3077147 (Why is no real title available?) | 1952-01-01 | Paper |
The Degree of Completeness of the <i>M</i> -Valued Łukasiewicz Propositional Calculus
Journal of the London Mathematical Society | 1952-01-01 | Paper |
Eight-Valued Geometry
Proceedings of the London Mathematical Society | 1952-01-01 | Paper |
A formalisation of Post's \(m\)-valued propositional calculus
Mathematische Zeitschrift | 1952-01-01 | Paper |
An extension of computational logic
Journal of Symbolic Logic | 1952-01-01 | Paper |
An Extension of the Calculus of Non-Contradiction
Proceedings of the London Mathematical Society | 1952-01-01 | Paper |
| scientific article; zbMATH DE number 3065831 (Why is no real title available?) | 1951-01-01 | Paper |
| scientific article; zbMATH DE number 3065829 (Why is no real title available?) | 1951-01-01 | Paper |
| scientific article; zbMATH DE number 3064993 (Why is no real title available?) | 1951-01-01 | Paper |
Conditioned disjunction as a primitive connective for the \(m\)-valued propositional calculus
Mathematische Annalen | 1951-01-01 | Paper |
Systems of logic whose truth-values form lattices
Mathematische Annalen | 1951-01-01 | Paper |
A lattice-theoretic characterisation of the \(\aleph_0\)-valued propositional calculus
Mathematische Annalen | 1951-01-01 | Paper |
The degree of completeness of a partial system of the 2-valued propositional calculus
Mathematische Zeitschrift | 1951-01-01 | Paper |
Axiom Systems for Three-Valued Logic
Journal of the London Mathematical Society | 1951-01-01 | Paper |
Strong completeness of fragments of the propositional calculus
Journal of Symbolic Logic | 1951-01-01 | Paper |
The Degree of Completeness of some ŁUkasiewicztarski Propositional Calculi
Journal of the London Mathematical Society | 1951-01-01 | Paper |
The Degree of Completeness of some ŁUkasiewicztarski Propositional Calculi
Journal of the London Mathematical Society | 1951-01-01 | Paper |
| scientific article; zbMATH DE number 3062174 (Why is no real title available?) | 1950-01-01 | Paper |
On the use of a complex (quaternion) velocity potential in three dimensions
Commentarii Mathematici Helvetici | 1950-01-01 | Paper |
Completeness of Lukasiewicz-Tarski propositional calculi
Mathematische Annalen | 1950-01-01 | Paper |
A Lattice-Theoretic Characterisation of Three-Valued Logic
Journal of the London Mathematical Society | 1950-01-01 | Paper |
| scientific article; zbMATH DE number 3060701 (Why is no real title available?) | 1949-01-01 | Paper |
