Proof systems for BAT consequence relations

Logic Journal of the IGPL 26 (1):96-108 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzx055

Links

PhilArchive



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

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

First-Degree Entailment and its Relatives.Yaroslav Shramko, Dmitry Zaitsev & Alexander Belikov - 2017 - Studia Logica 105 (6):1291-1317.
Logics with disjunction and proof by cases.San-min Wang & Petr Cintula - 2008 - Archive for Mathematical Logic 47 (5):435-446.
Encoding modal logics in logical frameworks.Arnon Avron, Furio Honsell, Marino Miculan & Cristian Paravano - 1998 - Studia Logica 60 (1):161-208.
A Formula-Preferential Base for Paraconsistent and Plausible Reasoning Systems.Arnon Avron & Iddo Lev - 2001 - In Proceedings of the Workshop on Inconsistency in Data and Knowledge. pp. 60-70.
A duality between Pawlak's knowledge representation systems and bi-consequence systems.Dimiter Vakarelov - 1995 - Studia Logica 55 (1):205 - 228.
An Update on "Might'".Jaap van Der Does, Willem Groeneveld & Frank Veltman - 1997 - Journal of Logic, Language and Information 6 (4):361-380.
An update on “might”.Jaap van der Does, Willem Groeneveld & Frank Veltman - 1997 - Journal of Logic, Language and Information 6 (4):361-380.
Some restricted lindenbaum theorems equivalent to the axiom of choice.David W. Miller - 2007 - Logica Universalis 1 (1):183-199.
Reinflating Logical Consequence.Owen Griffiths - 2012 - Journal of Philosophical Logic (1):1-9.
The Semantics and Proof Theory of Linear Logic.Arnon Avron - 1988 - Theoretical Computer Science 57 (2):161-184.
Canonical Rules.Emil Jeřábek - 2009 - Journal of Symbolic Logic 74 (4):1171 - 1205.
Relational proof system for relevant logics.Ewa Orlowska - 1992 - Journal of Symbolic Logic 57 (4):1425-1440.
The Proof by Cases Property and its Variants in Structural Consequence Relations.Petr Cintula & Carles Noguera - 2013 - Studia Logica 101 (4):713-747.
Towards the Unification of Inconsistency Handling Mechanisms.Diderik Batens - 2000 - Logic and Logical Philosophy 8:5-31.
Deriving Information from Inconsistent Knowledge Bases: A Completeness Theorem for η▹η.Jeff Paris - 2004 - Logic Journal of the IGPL 12 (5):345-353.

Analytics

Added to PP
2018-01-24

Downloads
17 (#861,334)

6 months
3 (#968,143)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Pawel Pawlowski
University of Gdansk

Citations of this work

Add more citations

References found in this work

Why Do We Prove Theorems?Yehuda Rav - 1999 - Philosophia Mathematica 7 (1):5-41.
Godel's Disjunction: The Scope and Limits of Mathematical Knowledge.Leon Horsten & Philip Welch (eds.) - 2016 - Oxford, England: Oxford University Press UK.

View all 23 references / Add more references