Małgorzata Porębska
4 artykuły w 1 czasopismach
-
On {<->,~}-reduct of the intuitionistic consequence operation Opublikowano w: Bulletin of the Section of Logic 1979 / Tom 8 / Numer 3 / s. 161 - 1691979CZYSTY TEKST
Jacek K. Kabziński, Małgorzata Porębska, Andrzej Wroński, On {<->,~}-reduct of the intuitionistic consequence operation, Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 3, s. 161 - 169
BIBTEX@Article{ authors = " Jacek K. Kabziński, Małgorzata Porębska, Andrzej Wroński", title = "On {<->,~}-reduct of the intuitionistic consequence operation", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 3", pages = "161 - 169" }
-
A characterization of the intuitionistic propositional logic Opublikowano w: Bulletin of the Section of Logic 1974 / Tom 3 / Numer 2 / s. 19 - 201974CZYSTY TEKST
Małgorzata Porębska, Andrzej Wroński, A characterization of the intuitionistic propositional logic, Bulletin of the Section of Logic, 1974 / Tom 3 / Numer 2, s. 19 - 20
BIBTEX@Article{ authors = " Małgorzata Porębska, Andrzej Wroński", title = "A characterization of the intuitionistic propositional logic", journal = "Bulletin of the Section of Logic", issue = "1974 / Tom 3 / Numer 2", pages = "19 - 20" }
-
On implivalential algebras Opublikowano w: Bulletin of the Section of Logic 1979 / Tom 8 / Numer 1 / s. 30 - 351979CZYSTY TEKST
Małgorzata Porębska, On implivalential algebras, Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 1, s. 30 - 35
BIBTEX@Article{ authors = " Małgorzata Porębska", title = "On implivalential algebras", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 1", pages = "30 - 35" }
-
Interpolation for fragments of intermediate logics Opublikowano w: Bulletin of the Section of Logic 1985 / Tom 14 / Numer 2 / s. 79 - 821985CZYSTY TEKST
Małgorzata Porębska, Interpolation for fragments of intermediate logics, Bulletin of the Section of Logic, 1985 / Tom 14 / Numer 2, s. 79 - 82
BIBTEX@Article{ authors = " Małgorzata Porębska", title = "Interpolation for fragments of intermediate logics", journal = "Bulletin of the Section of Logic", issue = "1985 / Tom 14 / Numer 2", pages = "79 - 82" }
