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

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,026

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

Renominative logics with extended renomination, equality and predicate complement.Nikitchenko M. S., Shkilniak O. S., Shkilniak S. S. & Mamedov T. A. - 2019 - Artificial Intelligence Scientific Journal 24 (1-2):34-48.
Abstract logics, logic maps, and logic homomorphisms.Steffen Lewitzka - 2007 - Logica Universalis 1 (2):243-276.
Implicational Partial Galois Logics: Relational Semantics.Eunsuk Yang & J. Michael Dunn - 2021 - Logica Universalis 15 (4):457-476.
Embedding Friendly First-Order Paradefinite and Connexive Logics.Norihiro Kamide - 2022 - Journal of Philosophical Logic 51 (5):1055-1102.
Arity hierarchies.Martin Grohe - 1996 - Annals of Pure and Applied Logic 82 (2):103-163.
Products of modal logics. Part 2: relativised quantifiers in classical logic.D. Gabbay & V. Shehtman - 2000 - Logic Journal of the IGPL 8 (2):165-210.
Birkhoff Completeness in Institutions.Mihai Codescu & Daniel Găină - 2008 - Logica Universalis 2 (2):277-309.
Categorical abstract algebraic logic categorical algebraization of first-order logic without terms.George Voutsadakis - 2005 - Archive for Mathematical Logic 44 (4):473-491.
An Omitting Types Theorem for first order logic with infinitary relation symbols.Tarek Sayed Ahmed & Basim Samir - 2007 - Mathematical Logic Quarterly 53 (6):564-570.
An alternative approach for Quasi-Truth.Marcelo E. Coniglio & Luiz H. Da Cruz Silvestrini - 2014 - Logic Journal of the IGPL 22 (2):387-410.

Analytics

Added to PP
2018-04-02

Downloads
41 (#597,920)

6 months
8 (#498,398)

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