A Categorical Account of Composition Methods in Logic: Prelimenariesby@escholar

A Categorical Account of Composition Methods in Logic: Prelimenaries

tldt arrow

Too Long; Didn't Read

In this paper, we present a categorical theory of the composition methods in finite model theory – a key technique enabling modular reasoning.
featured image - A Categorical Account of
Composition Methods in Logic: Prelimenaries
EScholar: Electronic Academic Papers for Scholars HackerNoon profile picture
EScholar: Electronic Academic Papers for Scholars

EScholar: Electronic Academic Papers for Scholars

@escholar

We publish the best academic work (that's too often lost to peer reviews & the TA's desk) to the global tech community

Share Your Thoughts

About Author

EScholar: Electronic Academic Papers for Scholars HackerNoon profile picture
EScholar: Electronic Academic Papers for Scholars@escholar
We publish the best academic work (that's too often lost to peer reviews & the TA's desk) to the global tech community

TOPICS

THIS ARTICLE WAS FEATURED IN...

Permanent on Arweave
Read on Terminal Reader
Read this story in a terminal
 Terminal
Read this story w/o Javascript
Read this story w/o Javascript
 Lite
L O A D I N G
. . . comments & more!