Trends in Logic III
International Conference in memoriam A. Mostowski, H. Rasiowa and C. Rauszer
Warsaw, September 23, Ruciane-Nida September 24-25, 2005
Abstracts
- Zofia Adamowicz: A maximality property
- Oleg M. Anshakov, Victor K. Finn, Dmitrii W. Vinogradov: Logical Means for Plausible Reasoning of JSM-Type
- Krzysztof R. Apt: Rule-based programming and constraints
- Sergei Artemov: Explicit knowledge representation in logic and computer science
- Mohua Banerjee and Koushik Pal: The Variety of Topological Quasi-Boolean Algebras
- Wojciech Buszkowski: Logico-linguistic Questions in Substructural Logics
- Petr Cintula: On generalization of Rasiowa's implicative logics
- Janis Cirulis: Logic of Knowledge Representation System: an Algebraic View
- Josep Maria Font: An Algebraic Approach to Non-Classical Logics
- Joanna Golinska-Pilarek: Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI
- Anna Gomolinska: Towards a generalization of Cecylia Rauszer's T-logic for reasoning about knowledge of agents
- Siegfried Gottwald: Axiomatizing Fuzzy Set Theory. A Critical Survey
- E. Graczynska and D. Schweigert: M-hyperquasivarieties
- Andrzej Grzegorczyk: In quest of weak essentially undecidable theories (some conjectures)
- Petr Hajek: Mathematical fuzzy logic - what it can learn from Mostowski and Rasiowa.
- Pawel Kawalec: Coarse-grained reliability
- Larisa Maksimova: Definability and Interpolation in Non-Classical Logics
- Robert K. Meyer: Classical Relevantism
- Hugh G.R. Millington: A lambda calculus extension of BCK logic
- Yutaka Miyazaki: The structure of the lattice Next(KTB)
- Angelo Montanari and Guido Sciavicco: A Decidability Proof for Propositional Neighborhood Logic
- Mikhail Ju. Moshkov: On Complexity of Decision Trees over Infinite Sets of Predicates
- Yu.M. Movsisyan: On the Representations of DeMorgan Algebras
- Roman Murawski: Remarks on A. Mostowski's philosophy of mathematics
- P.A. Schreiner, N.V. Shilov, J.V. Grebeneva: Two Approaches to Automatic Recognition of Tabular Property in Superintuitionistic Logics
- Dana S. Scott: The Algebraic Interpretation of Classical and Intuitionistic Quantifiers
- Wilfried Sieg: Church without Dogma: axioms for computability
- Dimiter Vakarelov: Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the General Theory of Negation
- Zygmunt Vetulani: A Further Generalization of Mostowskian Quantifier
- Anita Wasilewska, Ernestina Menasalvas: A General Data Mining Model
- Jan Wolenski: Andrzej Mostowski and Philosophy of Mathematics
- Marcin Wolski: A Semi-Boolean Generalization of Rough Sets
- Konrad Zdanowski: An algebraic characterisation of logical quantifiers
- Richard Zuber: An algebraic characterisation of logical quantifiers
Abstracts are in PDF or TXT files.
last modfied 21.09.2005; designer and webmaster: Krzysztof Pszczola
