The Guptα-Belnαp Systems S and S* are not Axiomatisable

Notre Dame Journal of Formal Logic 34 (4):583-596 (1993)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093633907

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

The Gupta-Belnap systems ${\rm S}^\#$ and ${\rm S}^*$ are not axiomatisable.Philip Kremer - 1993 - Notre Dame Journal of Formal Logic 34 (4):583-596.
Non-finitely axiomatisable two-dimensional modal logics.Agi Kurucz & Sérgio Marcelino - 2012 - Journal of Symbolic Logic 77 (3):970-986.
The modal logic of affine planes is not finitely axiomatisable.Ian Hodkinson & Altaf Hussain - 2008 - Journal of Symbolic Logic 73 (3):940-952.
Systems of art: art, history and systems theory.Francis Halsall - 2008 - Oxford: Peter Lang.
Human centred systems: An urgent problem for systems designers. [REVIEW]Mike Cooley - 1987 - AI and Society 1 (1):37-46.
Psychological-level systems theory: The missing link in bridging emotion theory and neurobiology through dynamic systems modeling.Philip Barnard & Tim Dalgleish - 2005 - Behavioral and Brain Sciences 28 (2):196-197.
Review: Hao Wang, Tag Systems and Lag Systems; John Cocke, Marvin Minsky, Universality of Tag Systems with $D = 2$; Stephen A. Cook, The Solvability of the Derivability Problem for One-Normal Systems. [REVIEW]Ann Yasuhara - 1971 - Journal of Symbolic Logic 36 (2):344-344.
Interactions of Self-organizing Systems in Nature.Mr Atanu Bikash Chatterjee - unknown
Conceptual and Derivation Systems.Jiří Raclavský & Petr Kuchyňka - 2011 - Logic and Logical Philosophy 20 (1-2):159-174.
On axiomatising products of Kripke frames.Ágnes Kurucz - 2000 - Journal of Symbolic Logic 65 (2):923-945.
Introduction to Complexity and Complex Systems.Robert B. Northrop - 2010 - Taylor & Francis.
On Systems Thinking and the Systems Approach.Asterios G. “Stell” Kefalas - 2011 - World Futures 67 (4-5):343 - 371.
Complexly organised dynamical systems.John D. Collier & Clifford A. Hooker - 1999 - Open Systems and Information Dynamics 6 (3):241–302.
The logical structure of linguistic commitment I: Four systems of non-relevant commitment entailment. [REVIEW]Mark Norris Lance & Philip Kremer - 1994 - Journal of Philosophical Logic 23 (4):369 - 400.

Analytics

Added to PP
2014-04-04

Downloads
26 (#595,031)

6 months
7 (#411,886)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Philip Kremer
University of Toronto at Scarborough

Citations of this work

Conditionals in Theories of Truth.Anil Gupta & Shawn Standefer - 2017 - Journal of Philosophical Logic 46 (1):27-63.
Guest Editors’ Introduction.Riccardo Bruni & Shawn Standefer - 2019 - Journal of Philosophical Logic 48 (1):1-9.
Revision Without Revision Sequences: Self-Referential Truth.Edoardo Rivello - 2019 - Journal of Philosophical Logic 48 (3):523-551.
The Complexity of Revision.Gian Aldo Antonelli - 1994 - Notre Dame Journal of Formal Logic 35 (1):67-72.

View all 10 citations / Add more citations

References found in this work

The truth is never simple.John P. Burgess - 1986 - Journal of Symbolic Logic 51 (3):663-681.
[Omnibus Review].Yiannis N. Moschovakis - 1968 - Journal of Symbolic Logic 33 (3):471-472.

Add more references