From the research on logics without tautologies

Logic Journal of the IGPL 21 (2):252-262 (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzs042

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,612

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

From the research on logics without tautologies.L. Jaworski - 2013 - Logic Journal of the IGPL 21 (2):216-233.
From the research on logics without tautologies.L. Jaworski - 2013 - Logic Journal of the IGPL 21 (2):234-251.
More logics without tautologies.Leo Simons - 1978 - Notre Dame Journal of Formal Logic 19 (4):543-557.
Degrees of logics with Henkin quantifiers in poor vocabularies.Marcin Mostowski & Konrad Zdanowski - 2004 - Archive for Mathematical Logic 43 (5):691-702.
Decidability and complexity of fibred logics without shared connectives.Sérgio Marcelino & Carlos Caleiro - 2016 - Logic Journal of the IGPL 24 (5).
From light logics to type assignments: a case study.M. Gaboardi & S. R. D. Rocca - 2009 - Logic Journal of the IGPL 17 (5):499-530.
Some relevance logics from the point of view of relational semantics.Katalin Bimbó - 2016 - Logic Journal of the IGPL 24 (3):268-287.
Logics of varieties, logics of semilattices and conjunction.J. M. Font & T. Moraschini - 2014 - Logic Journal of the IGPL 22 (6):818-843.
The Complexity of Propositional Proofs with the Substitution Rule.Alasdair Urquhart - 2005 - Logic Journal of the IGPL 13 (3):287-291.
Reduction of provability logics to Σ1-provability logics.Mohammad Ardeshir & S. Mojtaba Mojtahedi - 2015 - Logic Journal of the IGPL 23 (5):842-847.

Analytics

Added to PP
2016-06-30

Downloads
3 (#1,729,833)

6 months
3 (#1,206,820)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references