On the nonaxiomatizability of some logics by finitely many schemas
Notre Dame Journal of Formal Logic 27 (1):1-11 (1986)
Abstract
This article has no associated abstract. (fix it)DOI
10.1305/ndjfl/1093636517
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
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.
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
5 (#1,170,814)
6 months
1 (#454,876)
2010-08-24
Downloads
5 (#1,170,814)
6 months
1 (#454,876)
Historical graph of downloads
Citations of this work
There are reasonably nice logics.Wilfrid Hodges & Saharon Shelah - 1991 - Journal of Symbolic Logic 56 (1):300-322.
