Works matching IS 00393215 AND DT 2005 AND VI 80 AND IP 1

Results: 8

Cardinality without Enumeration.

Published in:

Studia Logica, 2005, v. 80, n. 1, p. 121, doi. 10.1007/s11225-005-6780-8

By:

Athanassios Tzouvaras

Publication type:

Article

Some Properties of Orthologics.

Published in:

Studia Logica, 2005, v. 80, n. 1, p. 75, doi. 10.1007/s11225-005-6777-3

By:

Yutaka Miyazaki

Publication type:

Article

On Finite Models of the Lambek Calculus.

Published in:

Studia Logica, 2005, v. 80, n. 1, p. 63, doi. 10.1007/s11225-005-6776-4

By:

Maciej Farulewski

Publication type:

Article

On Revising Fuzzy Belief Bases.

Published in:

Studia Logica, 2005, v. 80, n. 1, p. 29, doi. 10.1007/s11225-005-6775-5

By:

Richard Booth;
Eva Richter

Publication type:

Article

Under Carnap’s Lamp: Flat Pre-semantics.

Published in:

Studia Logica, 2005, v. 80, n. 1, p. 1, doi. 10.1007/s11225-005-6774-6

By:

Nuel Belnap

Publication type:

Article

A Proof System for Classical Logic.

Published in:

Studia Logica, 2005, v. 80, n. 1, p. 95, doi. 10.1007/s11225-005-6778-2

By:

Witold A. Pogorzelski;
Piotr Wojtylak

Publication type:

Article

First Order Theories for Partial Models.

Published in:

Studia Logica, 2005, v. 80, n. 1, p. 105, doi. 10.1007/s11225-005-6779-1

By:

Bożena Staruch;
Bogdan Staruch

Publication type:

Article

The Shaping of Deduction in Greek Mathematics: A Study in Coginitive History.

Published in:

Studia Logica, 2005, v. 80, n. 1, p. 143, doi. 10.1007/s11225-005-6781-7

By:

Jenz Høyrup

Publication type:

Article