Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies Santiago Figueira Daniel Gor´ın
Add to Reading List
Document Date: 2013-08-19 18:50:17
Open Document
File Size: 358,19 KB
Share Result on Facebook
Company
iff Ab /
/
IndustryTerm
formula manipulation tools /
/
Person
Santiago Figueira Daniel Gor /
Daniel Gor´ın Rafael /
Rafael Grimson August /
/
Position
player /
/
SocialTag
Model theory
Logical syntax
Philosophical logic
Interpretation
Entailment
First-order logic
Prenex normal form
Well-formed formula
Logical connective
Logic