A reduction of the primitive symbols of the Lewis calculi
Halldén, S. (1949)
Portugaliae mathematica
Similarity:
Displaying similar documents to “Conditioned disjunction as a primitive connective for the propositional calculus”
A reduction of the primitive symbols of the Lewis calculi
Intuitionistic modal logic with quantifiers
Fitch, Frederic B. (1948)
Portugaliae mathematica
Similarity:
A note on the theory of propositional types
Andrzej Grzegorczyk (1964)
Fundamenta Mathematicae
Similarity:
An addition to “logic of many-sorted theories”
P. C. Gilmore (1956-1958)
Compositio Mathematica
Similarity:
A Lesniewski-Mihailescu-theorem for m-valued propositional calculi
Götlind, Erik (1951)
Portugaliae mathematica
Similarity:
Definitions: the primitive concept of logics or The Leśniewski-Tarski legacy
E. G. K. López-Escobar, Francisco Miraglia
Similarity:
Sheffer stroke functions in many-valued logics
Evans, Trevor, Hardy, Lane (1957)
Portugaliae mathematica
Similarity:
Consistency statements in formal theories
R. Jeroslow (1971)
Fundamenta Mathematicae
Similarity:
Failure of completeness properties of intuitionistic predicate logic for constructive models
Daniel Leivant (1976)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity: