메뉴 건너뛰기




Volumn 145, Issue 3, 2007, Pages 314-353

Partial Horn logic and cartesian categories

Author keywords

Cartesian theory; Classifying category; Essentially algebraic; Free algebra; Partial algebra; Syntactic category

Indexed keywords


EID: 33845897625     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.apal.2006.10.001     Document Type: Article
Times cited : (58)

References (32)
  • 2
    • 33845911132 scopus 로고
    • Quasivarieties of partial algebras - a unifying approach towards a two-value model theory for partial algebras
    • Andréka H., Burmeister P., and Németi I. Quasivarieties of partial algebras - a unifying approach towards a two-value model theory for partial algebras. Studia Scientiarum Mathematicarum Hungarica 16 (1981) 325-372
    • (1981) Studia Scientiarum Mathematicarum Hungarica , vol.16 , pp. 325-372
    • Andréka, H.1    Burmeister, P.2    Németi, I.3
  • 3
    • 33845913978 scopus 로고    scopus 로고
    • H. Andréka, I. Németi, Generalization of the concept of variety and quasivariety to partial algebras through category theory, Dissertationes Mathematicae (Rozprawy Matematyczne) 204 (1983) 1-51
  • 4
    • 0004086833 scopus 로고
    • Springer-Verlag no. 12 in Reprints in Theory and Applications of Categories, Theory and Applications of Categories, Mount Allison University, 2005
    • Barr M., and Wells C. Toposes, Triples and Theories (1984), Springer-Verlag no. 12 in Reprints in Theory and Applications of Categories, Theory and Applications of Categories, Mount Allison University, 2005
    • (1984) Toposes, Triples and Theories
    • Barr, M.1    Wells, C.2
  • 6
    • 77956972461 scopus 로고
    • Proving programs and programming proofs
    • Logic, Methodology and Philosophy of Science VII (Amsterdam). Barcan-Marcus R., Dorn G., and Weingartner P. (Eds), North-Holland
    • Beeson M. Proving programs and programming proofs. In: Barcan-Marcus R., Dorn G., and Weingartner P. (Eds). Logic, Methodology and Philosophy of Science VII (Amsterdam). Studies in Logic and Foundations of Mathematics no. 114 (1986), North-Holland 51-82
    • (1986) Studies in Logic and Foundations of Mathematics , vol.114 , pp. 51-82
    • Beeson, M.1
  • 9
    • 33845896478 scopus 로고    scopus 로고
    • P. Burmeister, Lecture Notes on Universal Algebra: Many-sorted Partial Algebras, 2002. Available on the web
  • 11
    • 33845900397 scopus 로고    scopus 로고
    • M. Coste, Localization, spectra and sheaf representation, in: Fourman et al. [12], pp. 212-238
  • 12
    • 0003451932 scopus 로고
    • Fourman M., Mulvey C., and Scott D. (Eds), Springer-Verlag
    • In: Fourman M., Mulvey C., and Scott D. (Eds). Applications of Sheaves. Lecture Notes in Mathematics no. 753 (1979), Springer-Verlag
    • (1979) Lecture Notes in Mathematics , vol.753
  • 16
    • 33845872998 scopus 로고    scopus 로고
    • P. Higgins, Categories and Groupoids, Van Nostrand Reinhold, 1971; no. 7 in Reprints in Theory and Applications of Categories, Theory and Applications of Categories, Mount Allison University, 2005
  • 17
    • 27844599575 scopus 로고    scopus 로고
    • Oxford University Press
    • Johnstone P. Sketches of an Elephant: A Topos Theory Compendium, vol. 1. Oxford Logic Guides no. 44 (2002), Oxford University Press
    • (2002) Oxford Logic Guides , vol.44
    • Johnstone, P.1
  • 18
    • 27844599575 scopus 로고    scopus 로고
    • Oxford University Press
    • Johnstone P. Sketches of an Elephant: A Topos Theory Compendium, vol. 2. Oxford Logic Guides no. 44 (2002), Oxford University Press
    • (2002) Oxford Logic Guides , vol.44
    • Johnstone, P.1
  • 19
    • 0011572377 scopus 로고
    • Abstract Horn theories
    • Model Theory and Topoi. Lawvere F., Maurer C., and Wraith G. (Eds), Springer-Verlag
    • Keane O. Abstract Horn theories. In: Lawvere F., Maurer C., and Wraith G. (Eds). Model Theory and Topoi. Lecture Notes in Mathematics no. 445 (1975), Springer-Verlag 15-50
    • (1975) Lecture Notes in Mathematics , vol.445 , pp. 15-50
    • Keane, O.1
  • 25
    • 0037089746 scopus 로고    scopus 로고
    • Type theories, toposes and constructive set theory: Predicative aspects of AST
    • Moerdijk I., and Palmgren E. Type theories, toposes and constructive set theory: Predicative aspects of AST. Annals of Pure and Applied Logic 114 (2002) 155-201
    • (2002) Annals of Pure and Applied Logic , vol.114 , pp. 155-201
    • Moerdijk, I.1    Palmgren, E.2
  • 26
    • 0042523541 scopus 로고    scopus 로고
    • Variations on algebra: Monadicity and generalizations of equational theories
    • Robinson E. Variations on algebra: Monadicity and generalizations of equational theories. Formal Aspects of Computing 13 (2002) 308-326
    • (2002) Formal Aspects of Computing , vol.13 , pp. 308-326
    • Robinson, E.1
  • 27
    • 33845899881 scopus 로고    scopus 로고
    • D. Scott, Identity and existence in intuitionistic logic, in: Fourman et al. [12], pp. 660-696
  • 29
    • 0141652910 scopus 로고    scopus 로고
    • Computable and continuous partial homomorphisms on metric partial algebras
    • Stoltenberg-Hansen V., and Tucker J. Computable and continuous partial homomorphisms on metric partial algebras. The Bulletin of Symbolic Logic 9 (2003) 299-334
    • (2003) The Bulletin of Symbolic Logic , vol.9 , pp. 299-334
    • Stoltenberg-Hansen, V.1    Tucker, J.2
  • 31
    • 33845875915 scopus 로고    scopus 로고
    • K. Viglas, Topos aspects of the extended Priestley duality, Ph.D. Thesis, Department of Computing, Imperial College, London, 2004
  • 32
    • 0002410894 scopus 로고
    • Preservation theorems for limits of structures and global sections of sheaves of structures
    • Volger H. Preservation theorems for limits of structures and global sections of sheaves of structures. Mathematische Zeitschrift 166 (1979) 27-53
    • (1979) Mathematische Zeitschrift , vol.166 , pp. 27-53
    • Volger, H.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.