Applications of weak Kripke semantics to intermediate consequences.
- Published in:
- Studia Logica, 1986, v. 45, n. 1, p. 119, doi. 10.1007/BF01881553
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 1986 AND VI 45 AND IP 1
Results: 12
1
2
Craig's interpolation theorem for the intuitionistic logic and its extensions-A semantical approach.
- Published in:
- Studia Logica, 1986, v. 45, n. 1, p. 19, doi. 10.1007/BF01881546
- By:
- Publication type:
- Article
3
Logics of some kripke frames connected with Medvedev notion of informational types.
- Published in:
- Studia Logica, 1986, v. 45, n. 1, p. 101, doi. 10.1007/BF01881552
- By:
- Publication type:
- Article
4
On maximal intermediate logics with the disjunction property.
- Published in:
- Studia Logica, 1986, v. 45, n. 1, p. 69, doi. 10.1007/BF01881550
- By:
- Publication type:
- Article
5
On the extension of intuitionistic propositional logic with Kreisel-Putnam's and Scott's schemes.
- Published in:
- Studia Logica, 1986, v. 45, n. 1, p. 55, doi. 10.1007/BF01881549
- By:
- Publication type:
- Article
6
A cut-free gentzen-type system for the logic of the weak law of excluded middle.
- Published in:
- Studia Logica, 1986, v. 45, n. 1, p. 39, doi. 10.1007/BF01881548
- By:
- Publication type:
- Article
7
Interpolation and amalgamation properties in varieties of equivalential algebras.
- Published in:
- Studia Logica, 1986, v. 45, n. 1, p. 35, doi. 10.1007/BF01881547
- By:
- Publication type:
- Article
8
On superintuitionistic logics as fragments of proof logic extensions.
- Published in:
- Studia Logica, 1986, v. 45, n. 1, p. 77, doi. 10.1007/BF01881551
- By:
- Publication type:
- Article
9
A new semantics for intuitionistic predicate logic.
- Published in:
- Studia Logica, 1986, v. 45, n. 1, p. 9, doi. 10.1007/BF01881545
- By:
- Publication type:
- Article
10
Pseudo two-valued evaluation method for intermediate logics.
- Published in:
- Studia Logica, 1986, v. 45, n. 1, p. 3, doi. 10.1007/BF01881544
- By:
- Publication type:
- Article
11
Errata.
- Published in:
- 1986
- Publication type:
- Correction Notice
12
Aleksandr Vladimirovic Kuznetsov.
- Published in:
- Studia Logica, 1986, v. 45, n. 1, p. 1, doi. 10.1007/BF01881542
- Publication type:
- Article