-
Descriptive Complexity of Modularity Problems on Graphss. 61 - 75CZYSTY TEKST
Haroldo G. Benatti, Ruy J.G.B. de Queiroz, Descriptive Complexity of Modularity Problems on Graphs, Bulletin of the Section of Logic, 2005 / Tom 34 / Numer 2, s. 61 - 75
BIBTEX@Article{ authors = " Haroldo G. Benatti, Ruy J.G.B. de Queiroz", title = "Descriptive Complexity of Modularity Problems on Graphs", journal = "Bulletin of the Section of Logic", issue = "2005 / Tom 34 / Numer 2", pages = "61 - 75" }
-
Possible-translations Algebraization for Paraconsistent Logicss. 77 - 92CZYSTY TEKST
Juliana Bueno-Soler, Walter Carnielli, Possible-translations Algebraization for Paraconsistent Logics, Bulletin of the Section of Logic, 2005 / Tom 34 / Numer 2, s. 77 - 92
BIBTEX@Article{ authors = " Juliana Bueno-Soler, Walter Carnielli", title = "Possible-translations Algebraization for Paraconsistent Logics", journal = "Bulletin of the Section of Logic", issue = "2005 / Tom 34 / Numer 2", pages = "77 - 92" }
-
A Note on Globally Admissible Inference Rules for Modal and Superintuitionistic Logicss. 93 - 99CZYSTY TEKST
V.V. Rimatski, Vladimir V. Rybakov, A Note on Globally Admissible Inference Rules for Modal and Superintuitionistic Logics, Bulletin of the Section of Logic, 2005 / Tom 34 / Numer 2, s. 93 - 99
BIBTEX@Article{ authors = " V.V. Rimatski, Vladimir V. Rybakov", title = "A Note on Globally Admissible Inference Rules for Modal and Superintuitionistic Logics", journal = "Bulletin of the Section of Logic", issue = "2005 / Tom 34 / Numer 2", pages = "93 - 99" }
-
Relational Ternary Semantics for a Logic Equivalent to Involutive Mondial t-norm Based Logic IMTLs. 101 - 116CZYSTY TEKST
Gemma Robles, Jose M. Mendez, Relational Ternary Semantics for a Logic Equivalent to Involutive Mondial t-norm Based Logic IMTL, Bulletin of the Section of Logic, 2005 / Tom 34 / Numer 2, s. 101 - 116
BIBTEX@Article{ authors = " Gemma Robles, Jose M. Mendez", title = "Relational Ternary Semantics for a Logic Equivalent to Involutive Mondial t-norm Based Logic IMTL", journal = "Bulletin of the Section of Logic", issue = "2005 / Tom 34 / Numer 2", pages = "101 - 116" }