descriptionPublicationkeyboard_double_arrow_right Article 01 Jan 1992 English Publisher:WileyJournal:Mathematical Logic Quarterly, volume 38, pages 361-372 (issn: 0942-5616, eissn: 1521-3870,

Authors: Jouko Väänänen; Gabriel Sandu;

doi: 10.1002/malq.19920380134

PARTIALLY ORDERED CONNECTIVES

- Summary
- Subjects
- Metrics

Abstract

AbstractWe 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.

Related Organizations

University of Helsinki
Finland

Keywords

infinitary logic, undefinability, Ehrenfeucht games, coherent theory of partially ordered connectives, Logic with extra quantifiers and operators, partially ordered quantification, expressive power

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	22
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 10%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average