Categorical abstract algebraic logic categorical algebraization of first-order logic without terms

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @article{DBLP:journals/aml/Voutsadakis05, 

 author    = {George Voutsadakis},
 title     = {Categorical abstract algebraic logic categorical algebraization
              of first-order logic without terms},
 journal   = {Arch. Math. Log.},
 volume    = {44},
 number    = {4},
 year      = {2005},
 pages     = {473-491},
 ee        = {http://dx.doi.org/10.1007/s00153-004-0266-7},
 bibsource = {DBLP, http://dblp.uni-trier.de}

}

\end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/Categorical_abstract_algebraic_logic_categorical_algebraization_of_first-order_logic_without_terms"
Personal tools