The following pages link to LPL software (Q17015):
Displayed 18 items.
- Exhibiting interpretational and representational validity (Q484954) (← links)
- Truth diagrams versus extant notations for propositional logic (Q783668) (← links)
- A plea for logical objects (Q833028) (← links)
- The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself (Q959049) (← links)
- Eliciting implicit assumptions of Mizar proofs by property omission (Q1945901) (← links)
- Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs (Q2278834) (← links)
- The semiotics of spider diagrams (Q2399601) (← links)
- Properties of a relational framework synthesized over a set of semantically atomic predicates (Q2654996) (← links)
- Identity and intensionality in univalent foundations and philosophy (Q2695034) (← links)
- (Q2753859) (← links)
- A Computer Environment for Writing Ordinary Mathematical Proofs (Q2996190) (← links)
- (Q3096993) (← links)
- (Q4652399) (← links)
- (Q4680193) (← links)
- Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction (Q4683205) (← links)
- (Q4779807) (← links)
- Visual Mathematics: Diagrammatic Formalization and Proof (Q5505526) (← links)
- Weak and Strong Compatibility in Data Fitting Problems Under Interval Uncertainty (Q5858141) (← links)