Switch to: Citations

Add references

You must login to add references.
  1. Deontic logic.Dagfinn Føllesdal & Risto Hipinen - 1976 - In Risto Hilpinen (ed.), Deontic logic: introductory and systematic readings. Hingham, MA: Sold and distributed in the U.S.A. and Canada by Kluwer Boston. pp. 4--159.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  • A Logic of the Doubtful. On Optative and Imperative Logic.Karl Menger - 1940 - Journal of Symbolic Logic 5 (1):40-40.
  • Proof of the independence of the primitive symbols of Heyting's calculus of propositions.J. C. C. McKinsey - 1939 - Journal of Symbolic Logic 4 (4):155-158.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  • Mally’s deontic logic.Gert-Jan Lokhorst - 2004 - Grazer Philosophische Studien.
    In 1926, Mally presented the first formal system of deontic logic. His system had several consequences which Mally regarded as surprising but defensible. It also, however, has the consequence that A is obligatory if and only if A is the case, which is unacceptable from the point of view of any reasonable deontic logic. We describe Mally's system and discuss how it might reasonably be repaired.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Intuitionistic Logic.Dirk van Dalen - 2002 - In D. M. Gabbay & F. Guenthner (eds.), ¸ Itegabbay2002. Kluwer Academic Publishers. pp. 1-115.
     
    Export citation  
     
    Bookmark   54 citations