Zur konstruktiven Deutung der semantischen Vollständigkeit klassischer Quantoren- und Modalkalküle

DOI10.1007/BF02008528zbMath0305.02024MaRDI QIDQ4060943

Paul Lorenzen

Publication date: 1972

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137873

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Classical first-order logic (03B10) Intuitionistic mathematics (03F55) Categoricity and completeness of theories (03C35)

Related Items (1)

JAAKKO HINTIKKA 1929–2015

This page was built for publication: Zur konstruktiven Deutung der semantischen Vollständigkeit klassischer Quantoren- und Modalkalküle