Intuitionistic modal logic with quantifiers
Fitch, Frederic B. (1948)
Portugaliae mathematica
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “On the propositional system A of Sobocinski”
Intuitionistic modal logic with quantifiers
A Lesniewski-Mihailescu-theorem for m-valued propositional calculi
Götlind, Erik (1951)
Portugaliae mathematica
Similarity:
Sequents in many valued logic II
G. Rousseau (1970)
Fundamenta Mathematicae
Similarity:
The First Lecture on Non-classical Logics
Alexandros Pefku (2001)
The Teaching of Mathematics
Similarity:
The Neg.-propositional Calculus
Milan Tasić (1991)
Publications de l'Institut Mathématique
Similarity:
Uncertainty principles for the Weinstein transform
Hatem Mejjaoli, Makren Salhi (2011)
Czechoslovak Mathematical Journal
Similarity:
The Weinstein transform satisfies some uncertainty principles similar to the Euclidean Fourier transform. A generalization and a variant of Cowling-Price theorem, Miyachi's theorem, Beurling's theorem, and Donoho-Stark's uncertainty principle are obtained for the Weinstein transform.
Stable surjection logic
Colin McLarty (1989)
Diagrammes
Similarity:
A reduction of the primitive symbols of the Lewis calculi
Halldén, S. (1949)
Portugaliae mathematica
Similarity: