-
G.E. Moore on logical possibilitys. 7 - 19CZYSTY TEKST
Tadeusz Czarnecki, G.E. Moore on logical possibility, Logic and Logical Philosophy, 2002 / Tom 10, s. 7 - 19
BIBTEX@Article{ authors = " Tadeusz Czarnecki", title = "G.E. Moore on logical possibility", journal = "Logic and Logical Philosophy", issue = "2002 / Tom 10", pages = "7 - 19" }
-
Derivability of rules from rule complexess. 21 - 44CZYSTY TEKST
Anna Gomolińska, Derivability of rules from rule complexes, Logic and Logical Philosophy, 2002 / Tom 10, s. 21 - 44
BIBTEX@Article{ authors = " Anna Gomolińska", title = "Derivability of rules from rule complexes", journal = "Logic and Logical Philosophy", issue = "2002 / Tom 10", pages = "21 - 44" }
-
Structured belief basess. 45 - 58CZYSTY TEKST
Reinhard Kahle, Structured belief bases, Logic and Logical Philosophy, 2002 / Tom 10, s. 45 - 58
BIBTEX@Article{ authors = " Reinhard Kahle", title = "Structured belief bases", journal = "Logic and Logical Philosophy", issue = "2002 / Tom 10", pages = "45 - 58" }
-
A deductive-reductive form of logic: General theory and intuitionistic cases. 59 - 78CZYSTY TEKST
Piotr Łukowski, A deductive-reductive form of logic: General theory and intuitionistic case, Logic and Logical Philosophy, 2002 / Tom 10, s. 59 - 78
BIBTEX@Article{ authors = " Piotr Łukowski", title = "A deductive-reductive form of logic: General theory and intuitionistic case", journal = "Logic and Logical Philosophy", issue = "2002 / Tom 10", pages = "59 - 78" }
-
A deductive-reductive form of logic: Intuitionistic S4 modalitiess. 79 - 91CZYSTY TEKST
Piotr Łukowski, A deductive-reductive form of logic: Intuitionistic S4 modalities, Logic and Logical Philosophy, 2002 / Tom 10, s. 79 - 91
BIBTEX@Article{ authors = " Piotr Łukowski", title = "A deductive-reductive form of logic: Intuitionistic S4 modalities", journal = "Logic and Logical Philosophy", issue = "2002 / Tom 10", pages = "79 - 91" }
-
Truth vs. provability – philosophical and historical remarkss. 93 - 117CZYSTY TEKST
Roman Murawski, Truth vs. provability – philosophical and historical remarks, Logic and Logical Philosophy, 2002 / Tom 10, s. 93 - 117
BIBTEX@Article{ authors = " Roman Murawski", title = "Truth vs. provability – philosophical and historical remarks", journal = "Logic and Logical Philosophy", issue = "2002 / Tom 10", pages = "93 - 117" }
-
Equating categorially names and quantifiers within first-order logics. 119 - 129CZYSTY TEKST
Jacek Paśniczek, Equating categorially names and quantifiers within first-order logic, Logic and Logical Philosophy, 2002 / Tom 10, s. 119 - 129
BIBTEX@Article{ authors = " Jacek Paśniczek", title = "Equating categorially names and quantifiers within first-order logic", journal = "Logic and Logical Philosophy", issue = "2002 / Tom 10", pages = "119 - 129" }
-
Geometry as an extension of the group theorys. 131 - 135CZYSTY TEKST
A. Prusińska, L. Szczerba, Geometry as an extension of the group theory, Logic and Logical Philosophy, 2002 / Tom 10, s. 131 - 135
BIBTEX@Article{ authors = " A. Prusińska, L. Szczerba", title = "Geometry as an extension of the group theory", journal = "Logic and Logical Philosophy", issue = "2002 / Tom 10", pages = "131 - 135" }
-
Compatibility and relevance: Bolzano and Orlovs. 137 - 171CZYSTY TEKST
Werner Stelzner, Compatibility and relevance: Bolzano and Orlov, Logic and Logical Philosophy, 2002 / Tom 10, s. 137 - 171
BIBTEX@Article{ authors = " Werner Stelzner", title = "Compatibility and relevance: Bolzano and Orlov", journal = "Logic and Logical Philosophy", issue = "2002 / Tom 10", pages = "137 - 171" }
-
The true bisimulations for 'since' and 'until's. 173 - 183CZYSTY TEKST
Holger Sturm, The true bisimulations for 'since' and 'until', Logic and Logical Philosophy, 2002 / Tom 10, s. 173 - 183
BIBTEX@Article{ authors = " Holger Sturm", title = "The true bisimulations for 'since' and 'until'", journal = "Logic and Logical Philosophy", issue = "2002 / Tom 10", pages = "173 - 183" }
-
Seeing to it that an agent forms a beliefs. 185 - 197CZYSTY TEKST
Heinrich Wansing, Seeing to it that an agent forms a belief, Logic and Logical Philosophy, 2002 / Tom 10, s. 185 - 197
BIBTEX@Article{ authors = " Heinrich Wansing", title = "Seeing to it that an agent forms a belief", journal = "Logic and Logical Philosophy", issue = "2002 / Tom 10", pages = "185 - 197" }
-
Defining ontological categories in an expansion of belief dynamicss. 199 - 210CZYSTY TEKST
Jan Westerhoff, Defining ontological categories in an expansion of belief dynamics, Logic and Logical Philosophy, 2002 / Tom 10, s. 199 - 210
BIBTEX@Article{ authors = " Jan Westerhoff", title = "Defining ontological categories in an expansion of belief dynamics", journal = "Logic and Logical Philosophy", issue = "2002 / Tom 10", pages = "199 - 210" }
-
Metalogical properties, being logical and being formals. 211 - 221CZYSTY TEKST
Jan Woleński, Metalogical properties, being logical and being formal, Logic and Logical Philosophy, 2002 / Tom 10, s. 211 - 221
BIBTEX@Article{ authors = " Jan Woleński", title = "Metalogical properties, being logical and being formal", journal = "Logic and Logical Philosophy", issue = "2002 / Tom 10", pages = "211 - 221" }
-
Notes on the geometry of logic and philosophys. 223 - 232CZYSTY TEKST
Marcin Wolski, Notes on the geometry of logic and philosophy, Logic and Logical Philosophy, 2002 / Tom 10, s. 223 - 232
BIBTEX@Article{ authors = " Marcin Wolski", title = "Notes on the geometry of logic and philosophy", journal = "Logic and Logical Philosophy", issue = "2002 / Tom 10", pages = "223 - 232" }
