Equality-free logic: the method of diagrams and preservation theorems

Logic Journal of the IGPL 7 (6):717-732 (1999)
  Copy   BIBTEX

Abstract

In this article I prove preservation theorems for the positive and for the universal-existential fragment of equality-free logic. I give a systematic presentation of the method of diagrams for first-order languages without equality

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/7.6.717

Links

PhilArchive



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

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

On Elementary Equivalence for Equality-free Logic.E. Casanovas, P. Dellunde & R. Jansana - 1996 - Notre Dame Journal of Formal Logic 37 (3):506-522.
Equality-free saturated models.P. Dellunde - 2003 - Reports on Mathematical Logic:3-22.
Uniform Short Proofs for Classical Theorems.Kees Doets - 2001 - Notre Dame Journal of Formal Logic 42 (2):121-127.
On Preservation Theorems for Two-Variable Logic.Erich Gradel & Eric Rosen - 1999 - Mathematical Logic Quarterly 45 (3):315-325.
Expressivity of Imperfect Information Logics without Identity.Antti Kuusisto - 2013 - Studia Logica 101 (2):237-265.
Bull's theorem by the method of diagrams.Giovanna Corsi - 1999 - Studia Logica 62 (2):163-176.
Characterization classes defined without equality.R. Elgueta - 1997 - Studia Logica 58 (3):357-394.
Equality of proofs for linear equality.Kosta Došen & Zoran Petrić - 2008 - Archive for Mathematical Logic 47 (6):549-565.
Some characterization theorems for infinitary universal horn logic without equality.Pilar Dellunde & Ramon Jansana - 1996 - Journal of Symbolic Logic 61 (4):1242-1260.
First-Order Quotational Logic.David Otway Wray - 1987 - Dissertation, University of Houston
Rules in relevant logic - I: Semantic classification.Ross T. Brady - 1994 - Journal of Philosophical Logic 23 (2):111 - 137.
A preservation theorem for equality-free Horn sentences.Pilar Dellunde Clave - 2000 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 15 (3):517-530.
Understanding preservation theorems, II.Chaz Schlindwein - 2010 - Mathematical Logic Quarterly 56 (5):549-560.
The Craig, Robinson and Beth theorems for the modal logic of closure spaces.Jan Plaza - 1986 - Bulletin of the Section of Logic 15 (1):15-18.
Some preservation theorems in an intermediate logic.Seyed M. Bagheri - 2006 - Mathematical Logic Quarterly 52 (2):125-133.

Analytics

Added to PP
2015-02-04

Downloads
3 (#1,708,708)

6 months
2 (#1,188,460)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A survey of abstract algebraic logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.
Maximality of Logic Without Identity.Guillermo Badia, Xavier Caicedo & Carles Noguera - 2024 - Journal of Symbolic Logic 89 (1):147-162.
First-Order Friendliness.Guillermo Badia & David Makinson - forthcoming - Review of Symbolic Logic:1-15.
Grades of Discrimination: Indiscernibility, Symmetry, and Relativity.Tim Button - 2017 - Notre Dame Journal of Formal Logic 58 (4):527-553.

Add more citations

References found in this work

No references found.

Add more references