TYTUŁ
Bulletin of the Section of Logic
2002 / Tom 31 / Numer 1
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
An Algorithm for Finding Finite Axiomatization of Finite Intermediate Logics by Means of Jankov Formulass. 1 - 6CZYSTY TEKSTBIBTEX
-
Completions of TV-> from H->s. 7 - 14CZYSTY TEKSTBIBTEX
-
Labelled Analytic Tableaux for S4.3s. 15 - 26CZYSTY TEKSTBIBTEX
-
On Axiomatic Products of PDL and S5: Substitution, Tests and Knowledges. 27 - 36CZYSTY TEKSTBIBTEX
-
On the Porphyrian Tree Structure and an Operation of Determinations. 37 - 46CZYSTY TEKSTBIBTEX
-
Is Metaphor an Illocutionary Act?s. 47 - 64CZYSTY TEKSTBIBTEX
