Home
english  russian 
  • ILCSDP
  • Voprosy Filosofii
  • News
  • Library
  • Software
  • forums
  • Useful links

Our projects

  • Logical Studies
  • Archimed tournament

Our partners

  • Department of Logic Inst. of Philosophy, RAS
  • Russian Philosophical Society
  • VOPROSY FILOSOFII
  • IzevskSU

Search

  • search
  • categories
  • category browser

Publications

  • Papers by V.Smirnov
  • Logical Studies
  • Voprosy Filosofii

Active forum topics

  • Work begun
more

New forum topics

  • Work begun
more

Links

Gallery of Russian thinkers by D. Olshansky
See in russian

Home » Units » ILCSDP » ILCSDP

ILCSDP

Substructural Exponential Categories in Category Theory and Categorical Logics. Vladimir L. Vasyukov

Choice and Logic. Hartley Slater

Exhaustively Axiomatizing E_ and R_ Gemma Robles, José M. Méndes

Projectively Modal Ontology. V. Moiseev

Lukasiewicz's Logic and Prime Numbers: Introduction and Contents. Alexander S. Karpenko

Nested Supervaluations for Future Indefinite Contingent Vagueness. Arkady L. Blinov

S5 is a Paraconsistent Logic and so is First-Order Classical Logic. J-Y. Bèziau

Generalized Truth Values: Lattices and Multi-Lattices. Yaroslav V. Shramko

The Set of Formal Syllogistics with Primitive Universal Terms (Structural Description and Quantitative Analysis). Taras A. Shiya

Algorithmic Problem of Axiomatization of Tabular Normal Modal Logic. Alexander V. Chagrov

« first‹ previous…5678910111213…next ›last »

©CopyLeft ILCSDP 2006. Published under GNU Free Documentation License. webmaster