Categorical Abstract Algebraic Logic: Algebraic Semantics for (documentclass{article}usepackage{amssymb}begin{document}pagestyle{empty}$bf{pi }$end{document})‐Institutions

George Voutsadakis

Mathematical Logic Quarterly 59 (3):177-200 (2013) Copy BIBT_EX

Abstract

This article has no associated abstract. (fix it)

Cite

Plain text

BibTeX

Formatted text

Reference Manager

RefWorks

Options

Mark as duplicate

Find it on Scholar

Request removal from index

Revision history

Categories

Areas of Mathematics in Philosophy of Mathematics

Keywords

(π)‐Institution Models Algebraic Semantics Matrix Semantics Deductive Systems Interpretations (π)‐Institutions Equational Logic Translations Protoalgebraic (π)‐Institutions. MSC (2010) 03G27

Reprint years

DOI

10.1002/malq.200920103

Other Versions

original

Voutsadakis, George (2013) "Categorical Abstract Algebraic Logic: Referential Algebraic Semantics". Studia Logica 101(4):849-899

Links

PhilArchive

Upload a copy of this work Papers currently archived: 100,607

External links

From the Publisher via CrossRef (no proxy)

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Sign in / register and customize your OpenURL resolver
Configure custom resolver

My notes

Sign in to use this feature

Similar books and articles

On the bounded quasi‐degrees of c.e. sets.Roland Sh Omanadze - 2013 - Mathematical Logic Quarterly 59 (3):238-246.

Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity.George Voutsadakis - 2007 - Studia Logica 85 (2):215-249.

Categorical Abstract Algebraic Logic: Models of π-Institutions.George Voutsadakis - 2005 - Notre Dame Journal of Formal Logic 46 (4):439-460.

Categorical Abstract Algebraic Logic: Referential Algebraic Semantics.George Voutsadakis - 2013 - Studia Logica 101 (4):849-899.

Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence.George Voutsadakis - 2009 - Mathematical Logic Quarterly 55 (1):51-67.

Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based π-Institutions.George Voutsadakis - 2008 - Logic Journal of the IGPL 16 (3):233-248.

Categorical abstract algebraic logic: Gentzen π ‐institutions and the deduction‐detachment property.George Voutsadakis - 2005 - Mathematical Logic Quarterly 51 (6):570-578.

Categorical abstract algebraic logic: The categorical Suszko operator.George Voutsadakis - 2007 - Mathematical Logic Quarterly 53 (6):616-635.

Analytics

Added to PP
2013-11-03

Downloads
26 (#841,117)

6 months
3 (#1,464,642)

Historical graph of downloads

How can I increase my downloads?

Citations of this work

Categorical Abstract Algebraic Logic: Truth-Equational $pi$-Institutions.George Voutsadakis - 2015 - Notre Dame Journal of Formal Logic 56 (2):351-378.

Add more citations

References found in this work

A survey of abstract algebraic logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.

Algebraic semantics for deductive systems.W. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.

Categorical Abstract Algebraic Logic: Models of π-Institutions.George Voutsadakis - 2005 - Notre Dame Journal of Formal Logic 46 (4):439-460.

Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity.George Voutsadakis - 2007 - Studia Logica 85 (2):215-249.

Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based π-Institutions.George Voutsadakis - 2008 - Logic Journal of the IGPL 16 (3):233-248.

View all 7 references / Add more references