New Results in Logic of Formulas which Lose Sense

&
Bulletin of the Section of Logic 14 (3):114-119 (1985)
  Copy   BIBTEX

Abstract

The aim of this abstract ie to present the latest results concerning a system of nonsense-logic, known as the system W. Thus, we recall only those of previous results which are indispensable for our present considerations. A more exhaustive survey and bibliography can be found in [1]; our notation and terminology are those of [1], too

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Characteristic Formulas of Partial Heyting Algebras.Alex Citkin - 2013 - Logica Universalis 7 (2):167-193.
Possible worlds semantics: A research program that cannot fail?Johan Benthem - 1984 - Studia Logica 43 (4):379 - 393.
Coinductive formulas and a many-sorted interpolation theorem.Ursula Gropp - 1988 - Journal of Symbolic Logic 53 (3):937-960.
Moorean Phenomena in Epistemic Logic.Wesley H. Holliday & Thomas F. Icard - 2010 - In Lev Beklemishev, Valentin Goranko & Valentin Shehtman (eds.), Advances in Modal Logic 8. College Publications. pp. 178-199.
The elimination of de re formulas.Michael Kaminski - 1997 - Journal of Philosophical Logic 26 (4):411-422.
Sharpened lower bounds for cut elimination.Samuel R. Buss - 2012 - Journal of Symbolic Logic 77 (2):656-668.
Bounds to Memory Loss.Hans K. Hvide - 1999 - Theory and Decision 46 (1):1-21.
Predicate provability logic with non-modalized quantifiers.Giorgie Dzhaparidze - 1991 - Studia Logica 50 (1):149 - 160.
A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic.Beata Konikowska - 1990 - Studia Logica 49 (4):541 - 555.
Expressivity of extensions of dynamic first-order logic.Balder ten Cate & Jan van Eijck - unknown
Expressivity of extensions of dynamic first-order logic.Balder ten Cate & Jan van Eijck - unknown
First order extensions of classical systems of modal logic; the role of the Barcan schemas.Horacio Arló Costa - 2002 - Studia Logica 71 (1):87-118.
Perfect IFG-Formulas.Allen L. Mann - 2008 - Logica Universalis 2 (2):265-275.
Canonical formulas for k4. part I: Basic results.Michael Zakharyaschev - 1992 - Journal of Symbolic Logic 57 (4):1377-1402.

Analytics

Added to PP
2013-10-30

Downloads
21 (#752,853)

6 months
3 (#1,020,910)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references