PLM

MaRDI QIDQ53731swMATHFDO

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