Composition-Nominative Logics as Institutions

&
Logica Universalis 12 (1-2):221-238 (2018)
  Copy   BIBTEX

Abstract

Composition-nominative logics are program-oriented logics. They are based on algebras of partial predicates which do not have fixed arity. The aim of this work is to present CNL as institutions. Homomorphisms of first-order CNL are introduced, satisfaction condition is proved. Relations with institutions for classical first-order logic are considered. Directions for further investigation are outlined.

Categories

Keywords

Reprint years

DOI

10.1007/s11787-018-0191-x

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,846

External links

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

Through your library

My notes

Similar books and articles

Abstract logics, logic maps, and logic homomorphisms.Steffen Lewitzka - 2007 - Logica Universalis 1 (2):243-276.
Categorical Abstract Algebraic Logic: Models of π-Institutions.George Voutsadakis - 2005 - Notre Dame Journal of Formal Logic 46 (4):439-460.
Arity hierarchies.Martin Grohe - 1996 - Annals of Pure and Applied Logic 82 (2):103-163.
Categorical Abstract Algebraic Logic: More on Protoalgebraicity.George Voutsadakis - 2006 - Notre Dame Journal of Formal Logic 47 (4):487-514.
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: The categorical Suszko operator.George Voutsadakis - 2007 - Mathematical Logic Quarterly 53 (6):616-635.
Combining Algebraizable Logics.A. Jánossy, Á Kurucz & Á. E. Eiben - 1996 - Notre Dame Journal of Formal Logic 37 (2):366-380.
Combining Algebraizable Logics.Á E. Eiben, A. Jánossy & Á Kurucz - 1996 - Notre Dame Journal of Formal Logic 37 (2):366-380.
Advances in the ŁΠ and logics.Petr Cintula - 2003 - Archive for Mathematical Logic 42 (5):449-468.
Modal translations in substructural logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.
An overview of tableau algorithms for description logics.Franz Baader & Ulrike Sattler - 2001 - Studia Logica 69 (1):5-40.
Justification logics, logics of knowledge, and conservativity.Melvin Fitting - unknown
Categorical abstract algebraic logic categorical algebraization of first-order logic without terms.George Voutsadakis - 2005 - Archive for Mathematical Logic 44 (4):473-491.
Categorical Abstract Algebraic Logic: Truth-Equational $pi$-Institutions.George Voutsadakis - 2015 - Notre Dame Journal of Formal Logic 56 (2):351-378.
Dual tableau-based decision procedures for relational logics with restricted composition operator.Domenico Cantone, Marianna Nicolosi Asmundo & Ewa Orlowska - 2011 - Journal of Applied Non-Classical Logics 21 (2):177-200.

Analytics

Added to PP
2018-04-02

Downloads
30 (#532,397)

6 months
11 (#237,138)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Universal Logic: Evolution of a Project.Jean-Yves Beziau - 2018 - Logica Universalis 12 (1-2):1-8.

Add more citations

References found in this work

Add more references