A Complete Set of Axioms for Logical Formulas Invalid in Some Finite Domain

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (6):84-96 (1961)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19610070603

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Quantifier elimination for infinite terms.G. Marongiu & S. Tulipani - 1991 - Archive for Mathematical Logic 31 (1):1-17.
Complete theories with only universal and existential axioms.A. H. Lachlan - 1987 - Journal of Symbolic Logic 52 (3):698-711.
Review: Yu. T. Medvedev, Elliott Medelson, Finite Problems; Yu. T. Medvedev, Sue Ann Walker, Interpretation of Logical Formulas by Means of Finite Problems and its Relation to the Realizability Theory; Ju. T. Medvedev, Sue Ann Walker, Interpretation of Logical Formulas by Means of Finite Problems. [REVIEW]Joan Rand Moschovaks - 1973 - Journal of Symbolic Logic 38 (2):330-331.
Remark on a finite axiomatization of finite intermediate propositional logics.D. Skvortsov - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):381-386.
Characteristic Formulas of Partial Heyting Algebras.Alex Citkin - 2013 - Logica Universalis 7 (2):167-193.
What's So Logical about the “Logical” Axioms?J. H. Harris - 1982 - Studia Logica 41 (2-3):159 - 171.
On Kueker Simple Theories.Ziv Shami - 2005 - Journal of Symbolic Logic 70 (1):216 - 222.
Cumulativity without closure of the domain under finite unions.Dov M. Gabbay & Karl Schlechta - 2008 - Review of Symbolic Logic 1 (3):372-392.
The Logic of Counterpart Theory with Actuality.Adam Rigoni & Richmond H. Thomason - 2012 - Journal of Philosophical Logic 43:1-31.
The modal logic of the countable random frame.Valentin Goranko & Bruce Kapron - 2003 - Archive for Mathematical Logic 42 (3):221-243.
Unification and Passive Inference Rules for Modal Logics.V. V. Rybakov, M. Terziler & C. Gencer - 2000 - Journal of Applied Non-Classical Logics 10 (3-4):369-377.
Mathematics, the empirical facts, and logical necessity.John C. Harsanyi - 1983 - Erkenntnis 19 (1-3):167 - 192.
All intermediate logics with extra axioms in one variable, except eight, are not strongly ω-complete.Camillo Fiorentini - 2000 - Journal of Symbolic Logic 65 (4):1576-1604.
On the algebraizability of annotated logics.Renato A. Lewin, Irene F. Mikenberg & María G. Schwarze - 1997 - Studia Logica 59 (3):359-386.

Analytics

Added to PP
2014-01-16

Downloads
33 (#473,861)

6 months
2 (#1,240,909)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A sequent calculus for a logic of contingencies.Michael Tiomkin - 2013 - Journal of Applied Logic 11 (4):530-535.

Add more citations

References found in this work

No references found.

Add more references