publication . Preprint . 2005

General Logic-Systems and Consequence Operators

Herrmann, Robert A.;
Open Access English
  • Published: 24 Dec 2005
Abstract
Comment: Only 5 pages. In this version, the definition of RI* is replaced by the one that appears in the expanded published version of this paper
Subjects
arXiv: Computer Science::Logic in Computer Science
ACM Computing Classification System: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES
free text keywords: Mathematics - General Mathematics, 03B22
Download from

Herrmann, Robert A. (2001), “Hyperfinite and Standard Unifications for Physical Theories,” International Journal of Mathematics and Mathematical Sciences, 28(2):93-102. http://www.arXiv.org/abs/physics/0105012

Los, I. and R. Suszko, (1958), “Remarks on sentential logic,” Indagationes Mathematical, 20:177-183

Any information missing or wrong?Report an Issue