An algebraic and Kripke-style approach to a certain extension of intuitionistic logic

An algebraic and Kripke-style approach to a certain extension of intuitionistic logic / Cecylia Rauszer

Bewaard in:

Bibliografische gegevens
Onderwerpen:
Superior document:	Dissertationes mathematicae 167
VerfasserIn:	Rauszer, Cecylia
Place / Publishing House:	Warszawa : Państw. Wyd. Naukowe, 1980
Publicatiejaar:	1980
Taal:	English
Reeks:	Dissertationes mathematicae 167
Intuitionistische Logik (DE-588)4162199-2
Fysieke beschrijving:	67 S.
Aantekeningen:	Literaturverz. S. 59
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

Gelijkaardige items

Aspects of refutation procedures in the intuitionistic logic and related modal systems
door: Skura, Tomasz
Gepubliceerd in: (1999)

Lehrgang der konstruktiven Mathematik
door: Taschner, Rudolf
Gepubliceerd in: (1991)

One hundred years of intuitionism (1907 - 2007) : the Cerisy conference
Gepubliceerd in: (2008)

An algebraic introduction to mathematical logic
door: Barnes, Donald W.
Gepubliceerd in: (1975)

Practical logic
door: Ziembiński, Zygmunt
Gepubliceerd in: (1976)

Philosophical logic
Gepubliceerd in: (1981)

Bolzano's logic
door: Berg, Jan
Gepubliceerd in: (1962)

Pragmatic logic
door: Ajdukiewicz, Kazimierz
Gepubliceerd in: (1974)

The development of logic
door: Kneale, William
Gepubliceerd in: (1962)

History of logic
Gepubliceerd in: (1982-1991)

Foundations of logic
Gepubliceerd in: (2010)

Handbook of the history of logic

Pre-dialectical logic
door: Filkorn, Vojtech
Gepubliceerd in: (1963)

A millennium of Buddhist logic
door: Wayman, Alex
Gepubliceerd in: (1999-)

Buddhist formal logic
door: Chi, R. S. Y.
Gepubliceerd in: (1984-)

Logic and knowledge : essays 1901 - 1950
door: Russell, Bertrand
Gepubliceerd in: (1977)

Reports on mathematical logic
Gepubliceerd in: (anfangs)

Buddhist logic : in two volumes
door: Ščerbatskoj, Fëdor I.
Gepubliceerd in: (1962)

Studies in logic and the foundations of mathematics
Gepubliceerd in: (1950-)

International logic review : = Rassegna internazionale di logica
Gepubliceerd in: (1970-1987)

The logic of categories of partial functions and its applications
door: Obtulowicz, Adam
Gepubliceerd in: (1986)

The strange logic of random graphs
door: Spencer, Joel H.
Gepubliceerd in: (2001)

Provability in logic
door: Kanger, Stig
Gepubliceerd in: (1957)

Logic colloquium : symposium on Logic held at Boston, 1972-73
Gepubliceerd in: (1975)

Proceedings of the Conference "Algebra and Logic"
Gepubliceerd in: (1987)

Mathematische Logik : ihre Grundprobleme in Theorie und Anwendung
door: Strombach, Werner
Gepubliceerd in: (1972)

Proceedings of the Conference "Algebra and Logic"
Gepubliceerd in: (1989)

Buddhist formal logic
door: Chi, R. S. Y.
Gepubliceerd in: (1969-)

Jaina logic and epistemology
Gepubliceerd in: (1997)

Buddhist logic : in two volumes
door: Ščerbatskoj, Fëdor I.

Einführung in die Logik
door: Menne, Albert
Gepubliceerd in: (1966)

Journal of logic, language and information : official journal of the European Foundation for Logic, Language and Information
Gepubliceerd in: (1991-)

Progress in computer science and applied logic : PCS
Gepubliceerd in: (1990-)

Logic in computer science
Gepubliceerd in: (2009)

The character of logic in India
door: Matilal, Bimal Krishna
Gepubliceerd in: (1998)

Proceedings of the IX Latin American Symposium on Mathematical Logic

Indian logic in the early schools : a study of the Nyāyadarśana in its relation to the early logic of other schools
door: Randle, Herbert N.
Gepubliceerd in: (1976)

A history of Indian logic : ancient, mediaeval and modern schools
door: Vidyabhusana, Satis Chandra
Gepubliceerd in: (1988)

Logika deontyczna jako formalizacja rozumowań normatywnych
door: Ziemba, Zdzisław
Gepubliceerd in: (1969)

Logic and argumentation : [proceedings of the Colloquium "Logic and Argumentation", Amsterdam, 14 - 17 June 1994]
door: Benthem, Johan van
Gepubliceerd in: (1996)