Elimination of Quantifiers on Łukasiewicz Logics

Invariant Systems of Łukasiewicz Calculi.Marek Tokarz - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (13-18):221-228.

Lukasiewicz and Symmetrical Heyting Algebras.Luisa Iturrioz - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (7-12):131-136.

Pure Logic with Branched Quantifiers.Marcin Mostowski - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (1):45-48.

Quantifiers determined by partial orderings.Michal Krynicki - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (1):79-86.

The number of {□, →}-logics.George F. Schumm - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (6):517-518.

Elimination Theorems of Uniqueness Conditions.Nobuyoshi Motohashi - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (33-38):511-524.

Note on Structural Logics.Zbigniew Stachniak - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (19-20):317-320.

Analytics

Added to PP
2015-12-02

Downloads
28 (#589,033)

6 months
5 (#710,311)

Historical graph of downloads

How can I increase my downloads?

No citations found.

Mathematical Logic.J. Donald Monk - 2001 - Bulletin of Symbolic Logic 7 (3):376-376.

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...