Kreisel–Putnam logic

GPTKB entity

Statements (16)
Predicate Object
gptkbp:instanceOf gptkb:logic
intermediate logic
gptkbp:alsoKnownAs KP logic
gptkbp:axiomatized_by disjunction property
gptkbp:characterizedBy disjunction property axiom: (¬A ∨ ¬B) → ¬(A ∧ B)
gptkbp:extendsTo intuitionistic logic
gptkbp:heldBy gptkb:superintuitionistic_logic
intermediate logic between intuitionistic and classical logic
https://www.w3.org/2000/01/rdf-schema#label Kreisel–Putnam logic
gptkbp:introduced gptkb:Hilary_Putnam
gptkb:Georg_Kreisel
1956
gptkbp:namedAfter gptkb:Hilary_Putnam
gptkb:Georg_Kreisel
gptkbp:bfsParent gptkb:Georg_Kreisel
gptkbp:bfsLayer 6