Algebraic logic for classical conjunction and disjunction.
- Published in:
- 1993
- By:
- Publication type:
- Correction Notice
Works matching IS 00393215 AND DT 1993 AND VI 52 AND IP 1
Results: 11
1
2
Books received.
- Published in:
- 1993
- By:
- Publication type:
- Book Review
3
The completeness of the factor semantics for Łukasiewicz's infinite-valued logics.
- Published in:
- Studia Logica, 1993, v. 52, n. 1, p. 143, doi. 10.1007/BF01053068
- By:
- Publication type:
- Article
4
A consistent theory of attributes in a logic without contraction.
- Published in:
- Studia Logica, 1993, v. 52, n. 1, p. 113, doi. 10.1007/BF01053067
- By:
- Publication type:
- Article
5
On Łukasiewicz-Moisil algebras of fuzzy sets.
- Published in:
- Studia Logica, 1993, v. 52, n. 1, p. 95, doi. 10.1007/BF01053066
- By:
- Publication type:
- Article
6
Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics.
- Published in:
- Studia Logica, 1993, v. 52, n. 1, p. 73, doi. 10.1007/BF01053065
- By:
- Publication type:
- Article
7
On reduced matrices.
- Published in:
- Studia Logica, 1993, v. 52, n. 1, p. 63, doi. 10.1007/BF01053064
- By:
- Publication type:
- Article
8
The simple substitution property of the intermediate propositional logics on finite slices.
- Published in:
- Studia Logica, 1993, v. 52, n. 1, p. 41, doi. 10.1007/BF01053063
- By:
- Publication type:
- Article
9
Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas.
- Published in:
- Studia Logica, 1993, v. 52, n. 1, p. 23, doi. 10.1007/BF01053062
- By:
- Publication type:
- Article
10
A study of intermediate propositional logics on the third slice.
- Published in:
- Studia Logica, 1993, v. 52, n. 1, p. 15, doi. 10.1007/BF01053061
- By:
- Publication type:
- Article
11
The lattice of distributive closure operators over an algebra.
- Published in:
- Studia Logica, 1993, v. 52, n. 1, p. 1, doi. 10.1007/BF01053060
- By:
- Publication type:
- Article