Negationless intuitionism

DOI10.1023/A:1004278211254zbMath0910.03004OpenAlexW4233629854MaRDI QIDQ1267080

Enrico Martino

Publication date: 19 April 1999

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1004278211254

zbMATH Keywords

natural semanticslawless sequencesconstructive completenessfallible Beth modelsnegationless semanticssecond-order intuitionistic logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Metamathematics of constructive systems (03F50) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Incompleteness in intuitionistic metamathematics
• Constructivism in mathematics. An introduction. Volume II
• That 'Principia Mathematica', first edition, has a predicative interpretation after all
• Another intuitionistic completeness proof
• An intuitiomstic completeness theorem for intuitionistic predicate logic
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Negationless intuitionism