Reference and perspective in intuitionistic logics

DOI10.1007/S10849-006-9024-ZzbMath1160.03300OpenAlexW1967178982MaRDI QIDQ1006455

John Nolt

Publication date: 24 March 2009

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-006-9024-z

zbMATH Keywords

Kripke semanticsIntuitionistic logicConstructivismIntuitionismReference

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)

Related Items (3)

Truth as an epistemic ideal ⋮ Necessarily Maybe: Quantifiers, Modality and Vagueness ⋮ States of Affairs as Structured Extensions in Free Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof methods for modal and intuitionistic logics
• Semantical investigations in Heyting's intuitionistic logic
• Constructivism in mathematics. An introduction. Volume II
• Brouwer's constructivism
• Intuitionism. An introduction. 3rd revised ed
• On the strong semantical completeness of the intuitionistic predicate calculus
• Modal Logics Between S 4 and S 5
• New essays in free logic. In honour of Karel Lambert

This page was built for publication: Reference and perspective in intuitionistic logics