Intuitionistic modal logic with quantifiers
Fitch, Frederic B. (1948)
Portugaliae mathematica
Similarity:
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:
EuroTeX 2009 & 3rd ConTeXt Meeting
CSTUG editorial board (2008)
Zpravodaj Československého sdružení uživatelů TeXu
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: