Formalisation and Evaluation of Alan Gewirth's Proof for the Principle of Generic Consistency in Isabelle/HOL (bibtex)
by David Fuenmayor, Christoph Benzmüller
Reference:
Formalisation and Evaluation of Alan Gewirth's Proof for the Principle of Generic Consistency in Isabelle/HOL (David Fuenmayor, Christoph Benzmüller), In Archive of Formal Proofs, 2018. (Note: formally verified data publication)
Bibtex Entry:
@article{J42,
  Author =	 {David Fuenmayor and Christoph Benzm\"uller},
  Journal =	 {Archive of Formal Proofs},
  Keywords =	 {own, Machine Ethics, Ethics, Artificial General
                  Intelligence, Dyadic Deontic Logic, Higher Order
                  Logic, Computational Metaphysics, Semantical
                  Embedding},
  Note =	 {Note: formally verified data publication},
  Title =	 {Formalisation and Evaluation of {Alan Gewirth's}
                  Proof for the {Principle of Generic Consistency} in
                  {Isabelle/HOL}},
  Url =
                  {https://www.isa-afp.org/entries/GewirthPGCProof.html},
  Year =	 2018,
}
Powered by bibtexbrowser