Works matching IS 00393215 AND DT 1997 AND VI 58 AND IP 2
Results: 4
Characterizing Equivalential and Algebraizable Logics by the Leibniz Operator.
- Published in:
- Studia Logica, 1997, v. 58, n. 2, p. 305, doi. 10.1023/A:1004979825733
- By:
- Publication type:
- Article
Game Logic and its Applications II.
- Published in:
- Studia Logica, 1997, v. 58, n. 2, p. 273, doi. 10.1023/A:1004975724824
- By:
- Publication type:
- Article
Consequence Operations Based on Hypergraph Satisfiability.
- Published in:
- Studia Logica, 1997, v. 58, n. 2, p. 261, doi. 10.1023/A:1004923723916
- By:
- Publication type:
- Article
Superintuitionistic Companions of Classical Modal Logics.
- Published in:
- Studia Logica, 1997, v. 58, n. 2, p. 229, doi. 10.1023/A:1004916107078
- By:
- Publication type:
- Article