MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Abstract Algebraic Logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

23 documents found, showing 1 through 10. Next 10 →

ATOM

Abstract algebraic logic and the deduction theorem
by W. J. Blok, D. Pigozzi — Bull. of Symbolic Logic
…ABSTRACT ALGEBRAIC LOGIC AND THE DEDUCTION THEOREM W. J. BLOK AND D. PIGOZZI Contents 1…
Cited by 14 (3 self) – Add To MetaCart

Algebraic Characterizations of two Beth Definability Properties
by Eva Hoogland — 1996 — Hoogland
… corresponds to surjectiveness of epimorphisms in abstract algebraic logic. Furthermore, we will give…
Cited by 3 (1 self) – Add To MetaCart

Algebraic characterizations of various Beth definability properties
by Eva Hoogland — 1999 — Studia Logica
… of epimorphisms in abstract algebraic logic. This generalizes a result by I. N'emeti (cf. [HMT85, Theorem 5…
Cited by 1 (0 self) – Add To MetaCart

Fregean Logics
by Janusz Czelakowski, Don Pigozzi — Encyclopedia of Mathematics, Supplement III
… of abstract algebraic logic, and it is shown that taken together with the deduction theorem it characterizes…
Cited by 2 (2 self) – Add To MetaCart

A New Coalgebraic Semantics for Positive Modal Logic
by A. Palmigiano, Alessandra Palmigiano, Departament De Logica — 2002 — Coalgebraic Methods in Computer Science (CMCS’03), volume 82.1 of ENTCS
… - Spain ABSTRACT Positive Modal Logic is the restriction of the modal local consequence relation defined…
Cited by 6 (2 self) – Add To MetaCart

Fregean Logics With The Multiterm Deduction Theorem And Their Algebraization
by Janusz Czelakowski And, Janusz Czelakowski, Don Pigozzi — 1998 — Iowa State University, Department of Mathematics, Ames IA
… with the multiterm deduction-detachment theorem within the framework of abstract algebraic logic. It is shown…
Add To MetaCart

On the algebraization of many-sorted logics
by Carlos Caleiro, Ricardo Gonçalves — 2007 — Recent Trends in Algebraic Development Techniques - Selected Papers
…-IT Department of Mathematics, IST, Lisbon, Portugal Abstract. The theory of abstract algebraic logic aims…
Cited by 1 (1 self) – Add To MetaCart

Behavioral institutions and refinements in generalized hidden logics
by Manuel A. Martins — 2006 — J. Univers. Comput. Sci
… of generalized abstract algebraic logic theory of hidden heterogeneous deductive systems (called hidden k-logics…
Cited by 1 (1 self) – Add To MetaCart

An Annotated Logic Defined by a Matrix
by S. E. Bowers, R. A. Lewin, D. Pigozzi
…. Of special interest in abstract algebraic logic currently is the problem of extending the general theory…
Cited by 3 (3 self) – Add To MetaCart

Edited by
by Montreux Switzerland, Jean-yves Beziau, Re Costa-leite — 2005
… . . . . . . . . . . . . . . . . . . . 10 3.2.6 Abstract Algebraic Logic . . . . . . . . . . . . . . 11 3.2.7 Abstract Model Theory…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB