Cited in
(26)- scientific article; zbMATH DE number 1820675 (Why is no real title available?)
- Properties of a relational framework synthesized over a set of semantically atomic predicates
- The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself
- A plea for logical objects
- scientific article; zbMATH DE number 1670612 (Why is no real title available?)
- Commentary and illocutionary expressions in linear calculi of natural deduction
- The semiotics of spider diagrams
- Visual Mathematics: Diagrammatic Formalization and Proof
- Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs
- A computer environment for writing ordinary mathematical proofs
- scientific article; zbMATH DE number 2138824 (Why is no real title available?)
- StarLogo
- Tipi
- OSCAR
- IntLinInc3D
- ralgb4
- ralgb5
- EPGY
- PyDREAM
- Identity and intensionality in univalent foundations and philosophy
- Exhibiting interpretational and representational validity
- Eliciting implicit assumptions of Mizar proofs by property omission
- Truth diagrams versus extant notations for propositional logic
- scientific article; zbMATH DE number 2172806 (Why is no real title available?)
- 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
This page was built for software: LPL software