Works matching IS 00393215 AND DT 1979 AND VI 38 AND IP 3
Results: 9
Editorial note.
- Published in:
- 1979
- Publication type:
- Editorial
Call for papers on paraconsistent logic.
- Published in:
- Studia Logica, 1979, v. 38, n. 3, p. 313, doi. 10.1007/BF00405388
- Publication type:
- Article
A modal calculus analogous to K4W, based on intuitionistic propositional logic, Iℴ.
- Published in:
- Studia Logica, 1979, v. 38, n. 3, p. 297, doi. 10.1007/BF00405387
- By:
- Publication type:
- Article
First-order indefinite and uniform neighbourhood semantics.
- Published in:
- Studia Logica, 1979, v. 38, n. 3, p. 277, doi. 10.1007/BF00405386
- By:
- Publication type:
- Article
A constructive proof of Craig's interpolation lemma for m-valued logic.
- Published in:
- Studia Logica, 1979, v. 38, n. 3, p. 267, doi. 10.1007/BF00405385
- By:
- Publication type:
- Article
Matrix representations for structural strengthenings of a propositional logic.
- Published in:
- Studia Logica, 1979, v. 38, n. 3, p. 263, doi. 10.1007/BF00405384
- By:
- Publication type:
- Article
On two problems of Harvey Friedman.
- Published in:
- Studia Logica, 1979, v. 38, n. 3, p. 247, doi. 10.1007/BF00405383
- By:
- Publication type:
- Article
Coproducts in the categories of Kleene and three-valued Łukasiewicz algebras.
- Published in:
- Studia Logica, 1979, v. 38, n. 3, p. 237, doi. 10.1007/BF00405382
- By:
- Publication type:
- Article
Modal logics with no minimal proper extensions.
- Published in:
- Studia Logica, 1979, v. 38, n. 3, p. 233, doi. 10.1007/BF00405381
- By:
- Publication type:
- Article