Open AccessHERBRAND E A SILOGÍSTICA AMPLIADA
Author(s) -
Frank Thomas Sautter
Publication year - 2015
Publication title -
filósofos/revista philósophos
Language(s) - Uncategorized
Resource type - Journals
eISSN - 1982-2928
pISSN - 1414-2236
DOI - 10.5216/phi.v20i1.34776
Subject(s) - predicate (mathematical logic) , conjunctive normal form , predicate logic , predicate variable , first order logic , syllogism , mathematics , disjunctive normal form , computer science , calculus (dental) , algorithm , algebra over a field , discrete mathematics , programming language , pure mathematics , linguistics , philosophy , zeroth order logic , description logic , multimodal logic , medicine , dentistry