LPL software
From MaRDI portal
Software:17015
swMATH4860MaRDI QIDQ17015FDOQ17015
Author name not available (Why is that?)
Cited In (18)
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- 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
