scientific article; zbMATH DE number 43843

MaRDI QIDQ3993136zbMATH OpenFDO

Authors Horst Wessel

Publication date 17 September 1992

zbMATH Keywords

classical predicate logicclassical propositional logicconditional logicconstructive logicHilbert-type proof systemintuitionistic logiclogic of sciencemodal logicnatural deductionphilosophical logicsemantics

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Philosophical and critical aspects of logic and foundations (03A05) Classical propositional logic (03B05) Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Recommendations

• Philosophical and mathematical logic
• Logic
• Logic. The basics
• Philosophical logic
• scientific article; zbMATH DE number 47925

Cited in

(5)

• Philosophical and mathematical logic
• Logic
• scientific article; zbMATH DE number 5944110 (Why is no real title available?)
• scientific article; zbMATH DE number 3271449 (Why is no real title available?)
• The Logiform system

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3993136)