Categorical Abstract Algebraic Logic: Behavioral π-Institutions
暂无分享,去创建一个
[1] Grigore Rosu,et al. Behavioral abstraction is hiding information , 2004, Theor. Comput. Sci..
[2] George Voutsadakis. Categorical Abstract Algebraic Logic: Equivalential π-Institutions , 2008 .
[3] Burghard Herrmann. Characterizing Equivalential and Algebraizable Logics by the Leibniz Operator , 1997, Stud Logica.
[4] Manuel A. Martins. On the Behavioral Equivalence Between k-data Structures , 2008, Comput. J..
[5] Hans-Jörg Kreowski,et al. Recent Trends in Data Type Specification , 1985, Informatik-Fachberichte.
[6] Manuel A. Martins,et al. Behavioural reasoning for conditional equations , 2007, Math. Struct. Comput. Sci..
[7] Grigore Rosu. A Birkhoff-like Axiomatizability Result for Hidden Algebra and Coalgebra , 1998, CMCS.
[8] George Voutsadakis. Categorical Abstract Algebraic Logic: Models of π-Institutions , 2005, Notre Dame J. Formal Log..
[9] Journal of the Association for Computing Machinery , 1961, Nature.
[10] Michel Bidoit,et al. Behavioural Theories and the Proof of Behavioural Properties , 1996, Theor. Comput. Sci..
[11] J. Czelakowski. Equivalential logics (II) , 1981 .
[12] Ricardo Gonçalves,et al. Behavioral Algebraization of Logics , 2009, Stud Logica.
[13] G. Voutsadakis. CATEGORICAL ABSTRACT ALGEBRAIC LOGIC: TARSKI CONGRUENCE SYSTEMS, LOGICAL MORPHISMS AND LOGICAL QUOTIENTS , 2015 .
[14] Janusz Czelakowski,et al. Weakly Algebraizable Logics , 2000, J. Symb. Log..
[15] José Luiz Fiadeiro,et al. Structuring Theories on Consequence , 1988, ADT.
[16] Willem J. Blok,et al. Protoalgebraic logics , 1986, Stud Logica.
[17] George Voutsadakis. Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity , 2007, Stud Logica.
[18] Josep Maria Font,et al. A Survey of Abstract Algebraic Logic , 2003, Stud Logica.
[19] T. Prucnal,et al. An algebraic characterization of the notion of structural completeness , 1974 .
[20] W. Blok. Algebraic Semantics for Universal Horn Logic Without Equality , 1992 .
[21] Ricardo Gonçalves,et al. On the Algebraization of Many-Sorted Logics , 2006, WADT.
[22] Joseph A. Goguen,et al. Institutions: abstract model theory for specification and programming , 1992, JACM.
[23] Ricardo Gonçalves,et al. Behavioral algebraization of da Costa's C-systems , 2009, J. Appl. Non Class. Logics.
[24] Janusz Czelakowski,et al. Equivalential logics (I) , 1981 .
[25] James G. Raftery,et al. Quasivarieties of Logic, Regularity Conditions and Parameterized Algebraization , 2003, Stud Logica.
[26] Josep Maria Font,et al. Algebraic logic for classical conjunction and disjunction , 1991, Stud Logica.
[27] George Voutsadakis,et al. Categorical Abstract Algebraic Logic: Ordered Equational Logic and Algebraizable PoVarieties , 2007, Order.
[28] George Voutsadakis. Categorical Abstract Algebraic Logic: Syntactically Algebraizable π-Institutions , 2009, Reports Math. Log..
[29] George Voutsadakis. Categorical Abstract Algebraic Logic: More on Protoalgebraicity , 2006, Notre Dame J. Formal Log..
[30] Manuel A. Martins. Closure properties for the class of behavioral models , 2007, Theor. Comput. Sci..
[31] Joseph A. Goguen,et al. Introducing Institutions , 1983, Logic of Programs.
[32] B. Herrmann. Equivalential and algebraizable logics , 1996 .