Professor Grzegorz Malinowski in Honorem

&
Bulletin of the Section of Logic 46 (1/2) (2017)
  Copy   BIBTEX

Abstract

-

Categories

Add categories

Keywords

Reprint years

DOI

10.18778/0138-0680.46.1.2.01

Other Versions

original Indrzejczak, Andrzej (2017) "Cut Elimination Theorem for Non-Commutative Hypersequent Calculus". Bulletin of the Section of Logic 46(1/2):

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,297

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

Overview of Results Presented in "Trends in Logic XIII". [REVIEW]Mateusz Klonowski - 2017 - Logic and Logical Philosophy 26 (1):137-142.
A Note on Ciuciura’s mbC1.Hitoshi Omori - 2019 - Bulletin of the Section of Logic 48 (3):161-171.
Book Review: Grzegorz Malinowski Many-Valued Logics. [REVIEW]Alasdair Urquhart - 1994 - Notre Dame Journal of Formal Logic 35 (3):469-470.
Janusz Czelakowski on Logical Consequence.Jacek Malinowski & Rafał Palczewski (eds.) - 2024 - Springer Verlag.
My Final Comments to the Volume.Janusz Czelakowski - 2024 - In Jacek Malinowski & Rafał Palczewski (eds.), Janusz Czelakowski on Logical Consequence. Springer Verlag. pp. 447-462.
Non-Fregean Logics of Analytic Equivalence (II).Andrzej Biłat - 2015 - Bulletin of the Section of Logic 44 (1/2):69-79.
Professor Andrzej Mostowski.A. Kanamori - 1976 - Annals of Mathematical Logic 10 (3/4):363.
Malinowski between Two Worlds: The Polish Roots of an Anthropological Tradition. Roy Ellen, Ernest Gellner, Graznya Kubica, Janusz Mucha.George Stocking Jr - 1990 - Isis 81 (1):137-138.
Mostowski Andrzej. On models of Zermelo-Fraenkel set theory satisfying the axiom of constructibility. Studia logico-mathematica et philosophica, in honorem Rolf Nevanlinna die natali eius septuagesimo 22.X.1965, Acta philosophica Fennica, no. 18 , pp. 135–144. [REVIEW]F. R. Drake - 1971 - Journal of Symbolic Logic 36 (3):542-542.
Section of Logic in Łódź 1982–1992.Jacek Malinowski - 2024 - In Jacek Malinowski & Rafał Palczewski (eds.), Janusz Czelakowski on Logical Consequence. Springer Verlag. pp. 49-78.

Analytics

Added to PP
2018-04-25

Downloads
24 (#754,516)

6 months
16 (#271,036)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Andrzej Indrzejczak
University of Lodz
Janusz Ciuciura
University of Lodz

Citations of this work

No citations found.

Add more citations

References found in this work

Essais sur les logiques non chrysippiennes.Grigore C. Moisil - 1972 - Bucarest,: Éditions de l'Académie de la République Socialiste de Roumanie.
Logic, Language, and Meaning.L. T. F. Gamut - 1992 - Studia Logica 51 (1):147-149.
Referentiality and Matrix Semantics.Grzegorz Malinowski - 2011 - Studia Logica 97 (2):297 - 312.
Pseudo-referential matrix semantics for propositional logics.Grzegorz Malinowski - 1983 - Bulletin of the Section of Logic 12 (3):90-96.

View all 18 references / Add more references