Works matching IS 00393215 AND DT 1977 AND VI 36 AND IP 1/2
Results: 8
On some new intuitionistic propositional connectives. I.
- Published in:
- Studia Logica, 1977, v. 36, n. 1/2, p. 127, doi. 10.1007/BF02121119
- By:
- Publication type:
- Article
Notes on N-lattices and constructive logic with strong negation.
- Published in:
- Studia Logica, 1977, v. 36, n. 1/2, p. 109, doi. 10.1007/BF02121118
- By:
- Publication type:
- Article
Lattices related to Post algebras and their applications to some logical systems.
- Published in:
- Studia Logica, 1977, v. 36, n. 1/2, p. 89, doi. 10.1007/BF02121117
- By:
- Publication type:
- Article
Model theory for an extension of intuitionistic logic.
- Published in:
- Studia Logica, 1977, v. 36, n. 1/2, p. 73, doi. 10.1007/BF02121116
- By:
- Publication type:
- Article
Applications of Kripke models to Heyting-Brouwer logic.
- Published in:
- Studia Logica, 1977, v. 36, n. 1/2, p. 61, doi. 10.1007/BF02121115
- By:
- Publication type:
- Article
Intuitionistic logic with strong negation.
- Published in:
- Studia Logica, 1977, v. 36, n. 1/2, p. 49, doi. 10.1007/BF02121114
- By:
- Publication type:
- Article
On universal algebraic constructions of logics.
- Published in:
- Studia Logica, 1977, v. 36, n. 1/2, p. 9, doi. 10.1007/BF02121113
- By:
- Publication type:
- Article
In memory of Andrzej Mostowski.
- Published in:
- Studia Logica, 1977, v. 36, n. 1/2, p. 1, doi. 10.1007/BF02121112
- By:
- Publication type:
- Article