The pleasures of anticipation: Enriching intuitionistic logic

DOI10.1023/A:1012264614940zbMath1002.03012MaRDI QIDQ5957420

Lloyd Humberstone

Publication date: 6 March 2002

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

zbMATH Keywords

sentential logicintuitionistic logicconsequence relationsconservative extensiondual intuitionistic negationnew intuitionistic connectives

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (6)

Proof search on bilateralist judgments over non-deterministic semantics ⋮ What is a relevant connective? ⋮ Priest on Negation ⋮ Variations on a theme of Curry ⋮ Explicating logical independence ⋮ XIV Latin American Symposium on Mathematical Logic (SLALM)

Uses Software

• PLINK

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An intriguing logic with two implicational connectives
• New operations in intuitionistic calculus
• Semantical investigations in Heyting's intuitionistic logic
• On a second order propositional operator in intuitionistic logic
• Constructivism in mathematics. An introduction. Volume II
• Theory of logical calculi. Basic theory of consequence operations
• Interpretations of classical implicational sentential calculus in nonclassical implicational calculi
• Applications of Kripke models to Heyting-Brouwer logic
• Model theory for an extension of intuitionistic logic
• Intuitionistic logic with strong negation
• Logics without Craig's interpolation property
• Independent axiomatizability of sets of sentences
• Singulary extensional connectives: A closer look
• Inverses for normal modal operators
• Archetypal forms of inference
• Valuational semantics of rule derivability
• A formalization of the propositional calculus of H-B logic
• Modalities in Ackermann's “rigorous implication”
• A consistent prepositional logic without any finite models
• What is an inference rule?
• Rules and Derived Rules
• Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
• An algebraic approach to the Heyting-Brouwer predicate calculus
• The decidability of dependency in intuitionistic propositional logic
• Relative necessity
• Deducibility and many-valuedness

This page was built for publication: The pleasures of anticipation: Enriching intuitionistic logic