TYTUŁ
Bulletin of the Section of Logic
1987 / Tom 16 / Numer 1
Wybierz inny
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
Axiomatizing E-> and R-> with Anderson and Belnap's "Strong and natural list of valid entailments"s. 2 - 10CZYSTY TEKSTBIBTEX
-
Remarks on characteristic consequence operations. 11 - 25CZYSTY TEKSTBIBTEX
-
Logic for reasoning about knowledges. 26 - 38CZYSTY TEKSTBIBTEX
-
A logic with relevant inplications. 39 - 45CZYSTY TEKSTBIBTEX
-
Persuasions. 46 - 50CZYSTY TEKSTBIBTEX