Found: 12
Select item for more details and to access through your institution.
Aleksandr Vladimirovic Kuznetsov.
- Published in:
- Studia Logica, 1986, v. 45, n. 1, p. 1, doi. 10.1007/BF01881542
- Publication type:
- Article
Errata.
- Published in:
- 1986
- Publication type:
- Correction notice
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
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
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
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
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
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
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
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
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
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