Back to Results
First PageMeta Content
Model theory / Logical syntax / Philosophical logic / Interpretation / Entailment / First-order logic / Prenex normal form / Well-formed formula / Logical connective / Logic / Metalogic / Formal languages


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
UPDATE