Fundamenta Informaticae - Tom Vol. 81, nr 1-3 (2007) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 81, nr 1-3

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

2007

Identyfikatory

Zawartość wolumenu

Vol. 81, nr 1-3
- artykuł: Andrzej Grzegorczyk: Logic and Philosophy (Krajewski S., Woleński J.), s. 1-17
- artykuł: Continuous Separation of Game Languages (Arnold A., Niwiński D.), s. 19-28
- artykuł: Modal Logics for Region-based Theories of Space (Balbiani P., Tinchev T., Vakarelov D.), s. 29-82
- artykuł: On the Additive Theory of Prime Numbers (Cégielski P., Richard D., Vsemirnov M.), s. 83-96
- artykuł: Induction Principles for Sets (Czelakowski J.), s. 97-122
- artykuł: Mathematical Fuzzy Logic: An Invitation to Interesting Research Areas (Gottwald S.), s. 123-137
- artykuł: Pieri's Structures (Gruszczyński R., Pietruszczak A.), s. 139-154
- artykuł: Mathematical Fuzzy Logic and Natural Numbers (Hájek P.), s. 155-163
- artykuł: On Some Uses of Nonstandard Models (Kossak R.), s. 165-172
- artykuł: On Gödel's Theorem and Mechanism: Inconsistency or Unsoundness is Unavoidable in any Attempt to "Out-Gödel" the Mechanist (Krajewski S.), s. 173-181
- artykuł: Finite Arithmetics (Krynicki M., Mostowski M., Zdanowski K.), s. 183-202
- artykuł: On Modal Grzegorczyk Logic (Maksimova L.), s. 203-210
- artykuł: Compactness Properties for Stable Semantics of Logic Programs (Marek V.W., Remmel J.B.), s. 211-239
- artykuł: Potential Infinity and the Church Thesis (Mostowski M.), s. 241-248
- artykuł: Did Leibniz and Newton Discover or Create the Calculus? (Murawski R.), s. 249-256
- artykuł: Abstract Barycentric Algebras (Romanowska A.B., Smith J.D.H., Orłowska E.), s. 257-273
- artykuł: Discrete Dualities for Heyting Algebras with Operators (Orłowska E., Rewitzky I.), s. 275-295
- artykuł: Decidability w.r.t. Logical Consecutions of Linear Temporal Logic Extended by Since and Previous (Rybakov V.V.), s. 297-313
- artykuł: Andrzej Grzegorczyk's Contribution to Computer Science (Salwicki A.), s. 315-323
- artykuł: A Propositional Programming Environment for Linear Algebra (Srebrny M., Stępień L.), s. 325-345
- artykuł: An Interpretation of Robinson Arithmetic in its Grzegorczyk's Weaker Variant (Švejdar V.), s. 347-354
- artykuł: Logic, Rationality and Psychologism (Woleński J.), s. 355-365

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.