Partially ordered connectives

&
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):361-372 (1992)
  Copy   BIBTEX

Abstract

We show that a coherent theory of partially ordered connectives can be developed along the same line as partially ordered quantification. We estimate the expressive power of various partially ordered connectives and use methods like Ehrenfeucht games and infinitary logic to get various undefinability results

Categories

Keywords

Reprint years

DOI

10.1002/malq.19920380134

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,227

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

Hierarchies of Partially Ordered Connectives and Quantifiers.Michał Krynicki - 1993 - Mathematical Logic Quarterly 39 (1):287-294.
If-logic and truth-definition.Gabriel Sandu - 1998 - Journal of Philosophical Logic 27 (2):143-164.
Partially ordered connectives and monadic monotone strict np.Lauri Hella, Merlijn Sevenster & Tero Tulenheimo - 2008 - Journal of Logic, Language and Information 17 (3):323-344.
Partially ordered connectives and finite graphs.Lauri Hella & Gabriel Sandu - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. pp. 79--88.
Decidability and finite axiomatizability of theories of ℵ0-categorical partially ordered sets.James H. Schmerl - 1981 - Journal of Symbolic Logic 46 (1):101 - 120.
From a connected, partially ordered set of events to a partially ordered field of time intervals.P. G. Vroegindewey, V. Ja Kreinovič & O. M. Kosheleva - 1980 - Foundations of Physics 10 (5-6):469-484.
The logic of informational independence and finite models.G. Sandu - 1997 - Logic Journal of the IGPL 5 (1):79-95.
Decidability and ℵ0-categoricity of theories of partially ordered sets.James H. Schmerl - 1980 - Journal of Symbolic Logic 45 (3):585 - 611.
Partially ordered quantifiers vs. partially ordered ideas.Jaakko Hintikka - 1976 - Dialectica 30 (1):89--99.
A quantum theory of space and time.Geoffrey Hemion - 1980 - Foundations of Physics 10 (11-12):819-840.
Partially ordered sets and the independence property.James H. Schmerl - 1989 - Journal of Symbolic Logic 54 (2):396-401.
Lattice Ordered O -Minimal Structures.Carlo Toffalori - 1998 - Notre Dame Journal of Formal Logic 39 (4):447-463.
Combinatorial Criteria for Ramifiable Ordered Sets.R. Hinnion & O. Esser - 2001 - Mathematical Logic Quarterly 47 (4):539-556.
The set of the true regular protothetics formulas with partially ordered quantifiers is NEXPTIME-complete.Anatoly P. Beltiukov - 2001 - Annals of Pure and Applied Logic 113 (1-3):53-58.
Real functions on the family of all well-ordered subsets of a partially ordered set.Stevo Todorčević - 1983 - Journal of Symbolic Logic 48 (1):91-96.

Analytics

Added to PP
2013-12-01

Downloads
49 (#326,216)

6 months
6 (#529,161)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Jouko A Vaananen
University of Helsinki
Gabriel Sandu
University of Helsinki

Citations of this work

On the logic of informational independence and its applications.Gabriel Sandu - 1993 - Journal of Philosophical Logic 22 (1):29 - 60.
Generalized quantifiers.Dag Westerståhl - 2008 - Stanford Encyclopedia of Philosophy.
Aspects of compositionality.Gabriel Sandu & Jaakko Hintikka - 2001 - Journal of Logic, Language and Information 10 (1):49-61.
Independence friendly logic.Tero Tulenheimo - 2010 - Stanford Encyclopedia of Philosophy.
If-logic and truth-definition.Gabriel Sandu - 1998 - Journal of Philosophical Logic 27 (2):143-164.

View all 8 citations / Add more citations

References found in this work

Model-Theoretic Logics.Jon Barwise & Solomon Feferman - 2017 - Cambridge University Press.
Infinistic Methods.L. Henkin - 1961 - Pergamon Press.

Add more references