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?)
- The semiotics of spider diagrams
- Visual Mathematics: Diagrammatic Formalization and Proof
- Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs
- Title not available (Why is that?)
- Identity and intensionality in univalent foundations and philosophy
- Title not available (Why is that?)
- Weak and Strong Compatibility in Data Fitting Problems Under Interval Uncertainty
- Exhibiting interpretational and representational validity
- Eliciting implicit assumptions of Mizar proofs by property omission
- A Computer Environment for Writing Ordinary Mathematical Proofs
- Truth diagrams versus extant notations for propositional logic
- Title not available (Why is that?)
- Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction
This page was built for software: LPL software
