On equivalential fragment of the implicative extensional consequence

Bulletin of the Section of Logic 10 (3):135-138 (1981)
  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,349

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

Equality Algebras.Sándor Jenei - 2012 - Studia Logica 100 (6):1201-1209.
Basic properties of the equivalence.Jacek K. Kabziński - 1982 - Studia Logica 41 (1):17-40.
Equivalential logics (I).Janusz Czelakowski - 1981 - Studia Logica 40 (3):227 - 236.
An axiomatization of the equivalential fragment of the three-valued logic of Ł ukasiewicz.Jacek K. Kabziński - 1984 - Notre Dame Journal of Formal Logic 25 (4):354-356.
Weakly Implicative (Fuzzy) Logics I: Basic Properties. [REVIEW]Petr Cintula - 2006 - Archive for Mathematical Logic 45 (6):673-704.
Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCsK fragment of S. [REVIEW]Lloyd Humberstone - 2007 - Journal of Philosophical Logic 36 (5):435 - 487.
Logics with disjunction and proof by cases.San-min Wang & Petr Cintula - 2008 - Archive for Mathematical Logic 47 (5):435-446.
Beyond Rasiowan Systems: Unital Deductive Systems.Alexei Y. Muravitsky - 2014 - Logica Universalis 8 (1):83-102.
Pseudo equality algebras.Sándor Jenei & László Kóródi - 2013 - Archive for Mathematical Logic 52 (5-6):469-481.
On Special Implicative Filters.Josep Maria Font - 1999 - Mathematical Logic Quarterly 45 (1):117-126.
On a fragment of the implicative propositional calculus.Helena Rasiowa - 1955 - Studia Logica 3 (1):225-226.
Characterizing equivalential and algebraizable logics by the Leibniz operator.Burghard Herrmann - 1997 - Studia Logica 58 (2):305-323.
Free Spectra of Linear Equivalential Algebras.Katarzyna Slomczyńska - 2005 - Journal of Symbolic Logic 70 (4):1341 - 1358.

Analytics

Added to PP
2014-02-18

Downloads
27 (#572,408)

6 months
1 (#1,533,009)

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

An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
An Algebraic Approach to Non-Classical Logics.Anne Preller - 1977 - Journal of Symbolic Logic 42 (3):432-432.
Investigations into the equivalence connective.Jacek K. Kabziński - 1980 - Kraków: Nakł. Uniwersytetu Jagiellońskiego.

Add more references