LPL software
From MaRDI portal
Cited in
(26)- The semiotics of spider diagrams
- scientific article; zbMATH DE number 1820675 (Why is no real title available?)
- A plea for logical objects
- scientific article; zbMATH DE number 2172806 (Why is no real title available?)
- Truth diagrams versus extant notations for propositional logic
- Commentary and illocutionary expressions in linear calculi of natural deduction
- Eliciting implicit assumptions of Mizar proofs by property omission
- Properties of a relational framework synthesized over a set of semantically atomic predicates
- scientific article; zbMATH DE number 1670612 (Why is no real title available?)
- Visual Mathematics: Diagrammatic Formalization and Proof
- StarLogo
- Tipi
- OSCAR
- IntLinInc3D
- ralgb4
- ralgb5
- EPGY
- PyDREAM
- Identity and intensionality in univalent foundations and philosophy
- A computer environment for writing ordinary mathematical proofs
- Weak and strong compatibility in data fitting problems under interval uncertainty
- Language, proof, and logic. In collaboration with Albert Liu, Michael Murray and Emma Pease. With CD-ROM
- Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs
- Exhibiting interpretational and representational validity
- The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself
- scientific article; zbMATH DE number 2138824 (Why is no real title available?)
This page was built for software: LPL software