Investigations into the equivalence connective

Kraków: Nakł. Uniwersytetu Jagiellońskiego (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

QA9.3.K3 1980

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,888

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

Investigations into the Equivalence Connective.Jacek K. Kabziński - 1981 - Studia Logica 40 (4):416-416.
The Lambek Calculus Extended with Intuitionistic Propositional Logic.Michael Kaminski & Nissim Francez - 2016 - Studia Logica 104 (5):1051-1082.
The diagrams of formulas of the intuitionistic propositional calculus.Anita Wasilewska - 1973 - Studia Logica 32 (1):109 - 115.
Theorem counting.M. G. Beavers - 1994 - Topoi 13 (1):61-65.
A modal calculus analogous to k4w, based on intuitionistic propositional logic, iℴ.Aldo Ursini - 1979 - Studia Logica 38 (3):297 - 311.
Intuitionistic Sahlqvist Theory for Deductive Systems.Damiano Fornasiere & Tommaso Moraschini - 2024 - Journal of Symbolic Logic 89 (4):1522-1580.
A note on the system of propositional calculus with primitive rule of extensionality.K. Hałkowska - 1967 - Studia Logica 20 (1):150-150.
Semi-intuitionistic Logic with Strong Negation.Juan Manuel Cornejo & Ignacio Viglizzo - 2018 - Studia Logica 106 (2):281-293.
Generalized equivalence: A pattern of mathematical expression.T. A. McKee - 1985 - Studia Logica 44 (3):285 - 289.

Analytics

Added to PP
2009-01-28

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

On equivalential fragment of the implicative extensional consequence.Jacek K. Kabzinski - 1981 - Bulletin of the Section of Logic 10 (3):135-138.

Add more citations

References found in this work

No references found.

Add more references