Derivation rules as anti-axioms

Journal of Symbolic Logic 58:1003-1034 (1993)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Derivation rules as anti-axioms in modal logic.Yde Venema - 1993 - Journal of Symbolic Logic 58 (3):1003-1034.
Quantum Theory from Four of Hardy's Axioms.Rüdiger Schack - 2003 - Foundations of Physics 33 (10):1461-1468.
Conceptual and Derivation Systems.Jiří Raclavský & Petr Kuchyňka - 2011 - Logic and Logical Philosophy 20 (1-2):159-174.
Derivation of the Rules of Quantum Mechanics from Information-Theoretic Axioms.Daniel I. Fivel - 2012 - Foundations of Physics 42 (2):291-318.
Cut Elimination in the Presence of Axioms.Sara Negri & Jan Von Plato - 1998 - Bulletin of Symbolic Logic 4 (4):418-435.
The development of arithmetic in Frege's Grundgesetze der Arithmetik.Richard Heck - 1993 - Journal of Symbolic Logic 58 (2):579-601.
A finite analog to the löwenheim-Skolem theorem.David Isles - 1994 - Studia Logica 53 (4):503 - 532.
Foundations of computer science.Kannan Nambiar - 2001
On axiomatizations of public announcement logic.Yanjing Wang & Qinxiang Cao - 2013 - Synthese 190 (S1).
What is the axiomatic method?Jaakko Hintikka - 2011 - Synthese 183 (1):69-85.
Beyond the axioms: The question of objectivity in mathematics.W. TaitW - 2001 - Philosophia Mathematica 9 (1):21-36.
Independence, randomness and the axiom of choice.Michiel van Lambalgen - 1992 - Journal of Symbolic Logic 57 (4):1274-1304.

Analytics

Added to PP
2014-04-04

Downloads
37 (#407,825)

6 months
5 (#526,961)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Yde Venema
University of Amsterdam

Citations of this work

Modal Logics for Parallelism, Orthogonality, and Affine Geometries.Philippe Balbiani & Valentin Goranko - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):365-397.
Hyperboolean Algebras and Hyperboolean Modal Logic.Valentin Goranko & Dimiter Vakarelov - 1999 - Journal of Applied Non-Classical Logics 9 (2):345-368.
PDL with intersection of programs: a complete axiomatization.Philippe Balbiani & Dimiter Vakarelov - 2003 - Journal of Applied Non-Classical Logics 13 (3-4):231-276.

Add more citations

References found in this work

Modal logic with names.George Gargov & Valentin Goranko - 1993 - Journal of Philosophical Logic 22 (6):607 - 636.
Varieties of complex algebras.Robert Goldblatt - 1989 - Annals of Pure and Applied Logic 44 (3):173-242.
Decidability for branching time.John P. Burgess - 1980 - Studia Logica 39 (2-3):203-218.
A finite axiomatization of the set of strongly valid ockhamist formulas.Alberto Zanardo - 1985 - Journal of Philosophical Logic 14 (4):447 - 468.

View all 12 references / Add more references