Open AccessDoes the Implication Elimination Rule Need a Minor Premise?
Author(s) -
Nissim Francez
Publication year - 2017
Publication title -
logic and logical philosophy
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.416
H-Index - 10
eISSN - 2300-9802
pISSN - 1425-3305
DOI - 10.12775/llp.2017.019
Subject(s) - premise , minor (academic) , invertible matrix , action (physics) , dual (grammatical number) , term (time) , semantics (computer science) , computer science , meaning (existential) , calculus (dental) , mathematics , mathematical economics , epistemology , philosophy , programming language , pure mathematics , linguistics , humanities , medicine , physics , dentistry , quantum mechanics