scientific article; zbMATH DE number 5000877

MaRDI QIDQ3367229zbMATH OpenFDO

Authors Silvia Pittarello

Publication date 23 January 2006

zbMATH Keywords

Brouwer's intuitionismprinciple of excluded middle

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Intuitionistic mathematics (03F55)

Recommendations

• Some algebraic clues towards a syntactic view on the Principles of Non-Contradiction and Excluded-Middle
• scientific article; zbMATH DE number 1251243
• Searching for the roots of non-contradiction and excluded-middle
• Undetachability of Propositional Content and Its Process of Construction
• L. E. J. Brouwer: Toward intuitionistic logic
• The logic of the weak excluded middle: A case study of proof-search
• Finite problems and the logic of the weak law of excluded middle
• The principles of non-contradiction and excluded-middle in fuzzy logic, revisited
• On a distinction of two facets of meaning and its role in proof-theoretic semantics
• Proof-theoretic semantics, a problem with negation and prospects for modality

Cited in

(3)

• Undetachability of Propositional Content and Its Process of Construction
• scientific article; zbMATH DE number 1251243 (Why is no real title available?)
• Some algebraic clues towards a syntactic view on the Principles of Non-Contradiction and Excluded-Middle

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 Q3367229)