FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2955479224> ?p ?o ?g. }

• W2955479224 abstract "Proofs are traditionally syntactic, inductively generated objects. This paper reformulates first-order logic (predicate calculus) with proofs which are graph-theoretic rather than syntactic. It defines a combinatorial proof of a formula $phi$ as a lax fibration over a graph associated with $phi$. The main theorem is soundness and completeness: a formula is a valid if and only if it has a combinatorial proof." @default.
• W2955479224 created "2019-07-12" @default.
• W2955479224 creator A5044150956 @default.
• W2955479224 date "2019-06-26" @default.
• W2955479224 modified "2023-10-01" @default.
• W2955479224 title "First-order proofs without syntax" @default.
• W2955479224 cites W1540863024 @default.
• W2955479224 cites W1541328677 @default.
• W2955479224 cites W1541776832 @default.
• W2955479224 cites W1552338706 @default.
• W2955479224 cites W1795577507 @default.
• W2955479224 cites W1823163556 @default.
• W2955479224 cites W1823367140 @default.
• W2955479224 cites W190917808 @default.
• W2955479224 cites W1911287697 @default.
• W2955479224 cites W1978830876 @default.
• W2955479224 cites W1985063546 @default.
• W2955479224 cites W1985185257 @default.
• W2955479224 cites W1985890955 @default.
• W2955479224 cites W1988083342 @default.
• W2955479224 cites W1998509117 @default.
• W2955479224 cites W2000750196 @default.
• W2955479224 cites W2000763343 @default.
• W2955479224 cites W2010939537 @default.
• W2955479224 cites W2015626965 @default.
• W2955479224 cites W2018221833 @default.
• W2955479224 cites W2025349135 @default.
• W2955479224 cites W2028775537 @default.
• W2955479224 cites W2032033497 @default.
• W2955479224 cites W2039977878 @default.
• W2955479224 cites W2057599103 @default.
• W2955479224 cites W2071146589 @default.
• W2955479224 cites W2071402192 @default.
• W2955479224 cites W2076596727 @default.
• W2955479224 cites W2082734160 @default.
• W2955479224 cites W2088729555 @default.
• W2955479224 cites W2097038024 @default.
• W2955479224 cites W2100738443 @default.
• W2955479224 cites W2102246643 @default.
• W2955479224 cites W2106988030 @default.
• W2955479224 cites W2143374829 @default.
• W2955479224 cites W2160595899 @default.
• W2955479224 cites W2275166338 @default.
• W2955479224 cites W2758306115 @default.
• W2955479224 cites W2801752629 @default.
• W2955479224 cites W2811365892 @default.
• W2955479224 cites W2889548529 @default.
• W2955479224 cites W2891735332 @default.
• W2955479224 cites W2911865844 @default.
• W2955479224 cites W2913653100 @default.
• W2955479224 cites W2964237467 @default.
• W2955479224 cites W2966315061 @default.
• W2955479224 cites W3124444065 @default.
• W2955479224 cites W83406561 @default.
• W2955479224 cites W160157518 @default.
• W2955479224 hasPublicationYear "2019" @default.
• W2955479224 type Work @default.
• W2955479224 sameAs 2955479224 @default.
• W2955479224 citedByCount "1" @default.
• W2955479224 countsByYear W29554792242021 @default.
• W2955479224 crossrefType "posted-content" @default.
• W2955479224 hasAuthorship W2955479224A5044150956 @default.
• W2955479224 hasConcept C100481476 @default.
• W2955479224 hasConcept C108710211 @default.
• W2955479224 hasConcept C118539577 @default.
• W2955479224 hasConcept C118615104 @default.
• W2955479224 hasConcept C132525143 @default.
• W2955479224 hasConcept C134306372 @default.
• W2955479224 hasConcept C140146324 @default.
• W2955479224 hasConcept C161505775 @default.
• W2955479224 hasConcept C17231256 @default.
• W2955479224 hasConcept C195653647 @default.
• W2955479224 hasConcept C199343813 @default.
• W2955479224 hasConcept C199360897 @default.
• W2955479224 hasConcept C200116569 @default.
• W2955479224 hasConcept C2318724 @default.
• W2955479224 hasConcept C2524010 @default.
• W2955479224 hasConcept C2777686260 @default.
• W2955479224 hasConcept C33923547 @default.
• W2955479224 hasConcept C39920170 @default.
• W2955479224 hasConcept C41008148 @default.
• W2955479224 hasConcept C62073222 @default.
• W2955479224 hasConcept C6489637 @default.
• W2955479224 hasConcept C65880906 @default.
• W2955479224 hasConcept C71924100 @default.
• W2955479224 hasConceptScore W2955479224C100481476 @default.
• W2955479224 hasConceptScore W2955479224C108710211 @default.
• W2955479224 hasConceptScore W2955479224C118539577 @default.
• W2955479224 hasConceptScore W2955479224C118615104 @default.
• W2955479224 hasConceptScore W2955479224C132525143 @default.
• W2955479224 hasConceptScore W2955479224C134306372 @default.
• W2955479224 hasConceptScore W2955479224C140146324 @default.
• W2955479224 hasConceptScore W2955479224C161505775 @default.
• W2955479224 hasConceptScore W2955479224C17231256 @default.
• W2955479224 hasConceptScore W2955479224C195653647 @default.
• W2955479224 hasConceptScore W2955479224C199343813 @default.
• W2955479224 hasConceptScore W2955479224C199360897 @default.
• W2955479224 hasConceptScore W2955479224C200116569 @default.
• W2955479224 hasConceptScore W2955479224C2318724 @default.
• W2955479224 hasConceptScore W2955479224C2524010 @default.

• next