Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')
EuDML - The European Digital Mathematics Library

Login | Register | (Why Register?)

  • Home
  • Advanced Search
  • Browse by Subject
  • Browse by Journals
  • Refs Lookup
  • Subjects
  • 03-XX Mathematical logic and foundations
  • 03Bxx General logic
  • 03B20 Subsystems of classical logic (including intuitionistic logic)

03Bxx General logic

  • 03B05 Classical propositional logic
  • 03B10 Classical first-order logic
  • 03B15 Higher-order logic and type theory
  • 03B20 Subsystems of classical logic (including intuitionistic logic)
  • 03B22 Abstract deductive systems
  • 03B25 Decidability of theories and sets of sentences
  • 03B30 Foundations of classical theories (including reverse mathematics)
  • 03B35 Mechanization of proofs and logical operations
  • 03B40 Combinatory logic and lambda-calculus
  • 03B42 Logics of knowledge and belief (including belief change)
  • 03B44 Temporal logic
  • 03B45 Modal logic (including the logic of norms)
  • 03B47 Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
  • 03B48 Probability and inductive logic
  • 03B50 Many-valued logic
  • 03B52 Fuzzy logic; logic of vagueness
  • 03B53 Paraconsistent logics
  • 03B55 Intermediate logics
  • 03B60 Other nonclassical logic
  • 03B62 Combined logics
  • 03B65 Logic of natural languages
  • 03B70 Logic in computer science
  • 03B80 Other applications of logic
  • 03B99 None of the above, but in this section
  • Items

All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Previous Page 2

Displaying 21 – 26 of 26

Showing per page

Производность допустимых правил

Г.Е. Минц (1973)

Zapiski naucnych seminarov Leningradskogo

Промежуточная предикатная логика без свойств Бета.

П.А. Шрайнер, P. A. Šrajner, P. A. Šrajner, P. A. Šrajner (1998)

Algebra i Logika

Разрешимость логических уравнений в модальной системе Grz и интуиционистской логике.

В.В. Рыбаков (1991)

Sibirskij matematiceskij zurnal

Сверхнезависимые суперинтуиционистские логики

В.Я. Герчиу (1970)

Matematiceskie issledovanija

Сепарационное свойство для доказуемостно-интуиционистского исчисления

И.Г. Симонова (1987)

Matematiceskie issledovanija

Точная интерпретация интуиционистского исчисления высказываний посредством начального сегмента решетки Медведева

Е.З. Скворцова (1988)

Sibirskij matematiceskij zurnal

Currently displaying 21 – 26 of 26

Previous Page 2

EuDML
  • About EuDML initiative
  • Feedback
  •  version 2.1.7