The following pages link to (Q3096993):
Displayed 7 items.
- Truth diagrams versus extant notations for propositional logic (Q783668) (← 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)
- Identity and intensionality in univalent foundations and philosophy (Q2695034) (← links)
- Knowledge-first believing the unknowable (Q2695173) (← links)
- Weak and Strong Compatibility in Data Fitting Problems Under Interval Uncertainty (Q5858141) (← links)
- The Deduction Theorem (Before and After Herbrand) (Q6098653) (← links)