Bulletin of the Section of Logic
Tom 7 ( 1978), Nr 2

Wydawnictwo Uniwersytetu Łódzkiego
ISSN 0138-0680

Zaznaczone:

do góry

On provability measures for deductive systems III

David Miller
Dummet's LC has the interpolation property

Stanisław Zachorowski
An inadequacy in Kripke-semantics for intuitionistic quantificational logic

Richard Routley
Resolution system for ω+-valued logic

Ewa Orłowska
Dual counterparts of strongly finite consequence

Zdzisław Dywan
Boolean theories with quantifiers

Mieczysław Omyła
On some higher-order predicate calculi

Elias H. Alves Jose E. de Almeida Moura
Some remarks on Griss' logic of negationless intuitionistic mathematics

Ayda I. Arruda
Bernays' class theory

Rolando Chuaqui
Deductive systems and congruence relation in ortholattices

Roberto Cignoli
Internal models for any finite subset of the axioms of the impredicative theory of classes

Manuel Corrada Rolando Chuaqui
The reals in D*

Matias F. Dias
An algebraic study of a propositional system of Nelson

Manuel M. Fidel
Some remarks in set theory

Marcel Guillaume
On the problem of Jaskowski and the logics of Lukasiewicz

Jerzy Kotas Newton C.A. da Costa
The method of valuations in modal logic

Andrea Loparic
Discussive versions of the modal calculi T, B, S4 and S5

Luis H.L. dos Santos
Superposition of states in quantum logic from a set theoretical point of view

Carlos Lungarzo
Constructability in the impredicative theory of classes

Maria V. Marshall Rolando Chuaqui
From total to partial algebras

Irene Mikenberg
Cylindric algebras with a property of Rasiowa and Sikorski

Charles C. Pinter
A proof-theoretic analysis of da Costa's C*

Andres R. Raggio
Decision problems: history and methods

H.P. Sankappanavar
Functorialization of first-order language with finitely many predicates

Antonio M. Sette J.S. Sette

Muzeum Historii
Polski w Warszawie

Materiały zamieszczone na stronie są dostępna na licencji CC BY-SA
Projekt graficzny serwisu: Veshch

Bulletin of the Section of Logic Tom 7 ( 1978), Nr 2

Załóż konto

Zaloguj się

Bulletin of the Section of Logic
Tom 7 ( 1978), Nr 2