PLM

swMATH38031MaRDI QIDQ53731FDOQ53731

Author name not available (Why is that?)

Described by source

• MECHANIZING PRINCIPIA LOGICO-METAPHYSICA IN FUNCTIONAL TYPE-THEORY

Cited In (2)

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

This page was built for software: PLM