On the nonaxiomatizability of some logics by finitely many schemas

&
Notre Dame Journal of Formal Logic 27 (1):1-11 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093636517

Links

PhilArchive



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

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

The nonaxiomatizability of $L(Q^2{\aleph1})$ by finitely many schemata.Saharon Shelah & Charles Steinhorn - 1989 - Notre Dame Journal of Formal Logic 31 (1):1-13.
Characterizing equivalential and algebraizable logics by the Leibniz operator.Burghard Herrmann - 1997 - Studia Logica 58 (2):305-323.
Many-place sequent calculi for finitely-valued logics.Alexej P. Pynko - 2010 - Logica Universalis 4 (1):41-66.
Matrices, primitive satisfaction and finitely based logics.Janusz Czelakowski - 1983 - Studia Logica 42 (1):89 - 104.
Protoalgebraic logics.W. J. Blok & Don Pigozzi - 1986 - Studia Logica 45 (4):337 - 369.
An infinity of super-Belnap logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319-335.
On parameter free induction schemas.R. Kaye, J. Paris & C. Dimitracopoulos - 1988 - Journal of Symbolic Logic 53 (4):1082-1097.
Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable.Valentin Shehtman - 1990 - Studia Logica 49 (3):365 - 385.
Some notes concerning fuzzy logics.Charles Grady Morgan & Francis Jeffry Pelletier - 1977 - Linguistics and Philosophy 1 (1):79 - 97.
Probability logic of finitely additive beliefs.Chunlai Zhou - 2010 - Journal of Logic, Language and Information 19 (3):247-282.
Every finitely reducible logic has the finite model property with respect to the class of ♦-formulae.Stéphane Demri & Ewa Orłowska - 1999 - Studia Logica 62 (2):177 - 200.
Equational bases for joins of residuated-lattice varieties.Nikolaos Galatos - 2004 - Studia Logica 76 (2):227 - 240.
Completeness and decidability of tense logics closely related to logics above K.Frank Wolter - 1997 - Journal of Symbolic Logic 62 (1):131-158.

Analytics

Added to PP
2010-08-24

Downloads
12 (#1,110,155)

6 months
4 (#855,130)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

There are reasonably nice logics.Wilfrid Hodges & Saharon Shelah - 1991 - Journal of Symbolic Logic 56 (1):300-322.

Add more citations

References found in this work

No references found.

Add more references