scientific article

zbMath0073.24903MaRDI QIDQ3235350

Evert W. Beth

Publication date: 1956

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

PhilosophyFoundationsMathematical Logic

Related Items (13)

Infinitary first-order categorical logic ⋮ The information in intuitionistic logic ⋮ Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic ⋮ A general relational semantics of propositional logic: axiomatization ⋮ Disjunction and negation in information based semantics ⋮ Constructive sheaf models of type theory ⋮ Intuitionistic completeness of first-order logic ⋮ Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic ⋮ Semantical analysis of the logic of bunched implications ⋮ Questions as information types ⋮ A semantic hierarchy for intuitionistic logic ⋮ Games and bisimulations for intuitionistic first-order Kripke models ⋮ THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC

This page was built for publication: