A logic is referential iff it is selfextensional

Studia Logica 73 (3):323 - 335 (2003)
  Copy   BIBTEX

Abstract

The title of this paper is a theorem, which I am going to state and prove. The theorem extends from prepositional to predicate languages the result I presented in [5].

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1023360709757

Links

PhilArchive



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

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

Local deductions theorems.Janusz Czelakowski - 1986 - Studia Logica 45 (4):377 - 391.
Synonymy in sentential languages: A pragmatic view.Marek Tokarz - 1988 - Studia Logica 47 (2):93 - 97.
Clues to the paradoxes of knowability: Reply to Dummett and Tennant.Berit Brogaard & Joe Salerno - 2002 - Analysis 62 (2):143–150.
Galois structures.Andrzej W. Jankowski - 1985 - Studia Logica 44 (2):109 - 124.
The Superintuitionistic Predicate Logic of Finite Kripke Frames Is Not Recursively Axiomatizable.Dmitrij Skvortsov - 2005 - Journal of Symbolic Logic 70 (2):451 - 459.
On decidable consequence operators.Jaros?aw Achinger & Andrzej W. Jankowski - 1986 - Studia Logica 45 (4):415 - 424.
Axiomatizing logics closely related to varieties.W. Rautenberg - 1991 - Studia Logica 50 (3-4):607 - 622.
Disjunctions in closure spaces.Andrzej W. Jankowski - 1985 - Studia Logica 44 (1):11 - 24.

Analytics

Added to PP
2009-01-28

Downloads
37 (#427,942)

6 months
2 (#1,193,798)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Possible Worlds in Use.Andrzej Indrzejczak - 2011 - Studia Logica 99 (1-3):229-248.

Add more citations

References found in this work

Theory of Logical Calculi: Basic Theory of Consequence Operations.Ryszard Wójcicki - 1988 - Dordrecht, Boston and London: Kluwer Academic Publishers.

Add more references