PLM

swMATH38031MaRDI QIDQ53731FDOQ53731

Author name not available (Why is that?)

Official website: https://www.isa-afp.org/entries/PLM.html

Described by source

• Mechanizing \textit{Principia logico-metaphysica} in functional type-theory

Cited In (5)

• Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
• LegalRuleML
• Reconstructor
• Reconstructor: a computer program that uses three-valued logics to represent lack of information in empirical scientific contexts
• LogiKEy

This page was built for software: PLM