Studia Logica logo Springer logo

Publisher: Springer

Volume 65, Number 2, July 2000
Key:
Free Content - Free Content
New Content - New Content
Subscribed Content - Subscribed Content
Free Trial Content - Free Trial Content

< previous issue | next issue > | all issues

A Negationless Interpretation of Intuitionistic Theories. II
pp. 155-179(25)
Author: Krivtsov V.N.

Varieties of Three-Valued Heyting Algebras with a Quantifier
pp. 181-198(18)
Authors: Abad M.; Díaz Varela J.P.; Rueda L.A.; Suardíaz A.M.

Arrow Logic and Infinite Counting
pp. 199-222(24)
Authors: Kurucz Á.

Non-Commutative Topology and Quantales
pp. 223-236(14)
Authors: Coniglio M.E.; Miraglia F.

Kripke Incompleteness of Predicate Extensions of the Modal Logics Axiomatized by a Canonical Formula for a Frame with a Nontrivial Cluster
pp. 237-247(11)
Author: Shimura T.

First Order Common Knowledge Logics
pp. 249-271(23)
Author: Wolter F.

Book Reviews
pp. 273-298(26)

< previous issue | next issue > | all issues

Key:
Free Content - Free Content
New Content - New Content
Subscribed Content - Subscribed Content
Free Trial Content - Free Trial Content
Share this item with others: These icons link to social bookmarking sites where readers can share and discover new web pages.
Page Help Click here for Page Help
Shopping cart
Tools
Sign in






Need to register?
Sign up here
Text size: A | A | A | A