Works matching IS 00393215 AND DT 1997 AND VI 58 AND IP 1
Results: 9
A Logic for Reasoning about Relative Similarity.
- Published in:
- Studia Logica, 1997, v. 58, n. 1, p. 185, doi. 10.1023/A:1004952317628
- By:
- Publication type:
- Article
Towards a Rough Mereology-Based Logic for Approximate Solution Synthesis. Part 1.
- Published in:
- Studia Logica, 1997, v. 58, n. 1, p. 143, doi. 10.1023/A:1004900200790
- By:
- Publication type:
- Article
Fuzzy Logic and Arithmetical Hierarchy, II.
- Published in:
- Studia Logica, 1997, v. 58, n. 1, p. 129, doi. 10.1023/A:1004948116720
- By:
- Publication type:
- Article
A Nonmonotonic Modal Formalization of the Logic of Acceptance and Rejection.
- Published in:
- Studia Logica, 1997, v. 58, n. 1, p. 113, doi. 10.1023/A:1004996032649
- By:
- Publication type:
- Article
A Completeness Proof for a Logic with an Alternative Necessity Operator.
- Published in:
- Studia Logica, 1997, v. 58, n. 1, p. 99, doi. 10.1023/A:1004944015811
- By:
- Publication type:
- Article
An Elementary Proof of Chang's Completeness Theorem for the Infinite-valued Calculus of Lukasiewicz.
- Published in:
- Studia Logica, 1997, v. 58, n. 1, p. 79, doi. 10.1023/A:1004991931741
- By:
- Publication type:
- Article
Generalized Rough Sets (Preclusivity Fuzzy-Intuitionistic (BZ) Lattices).
- Published in:
- Studia Logica, 1997, v. 58, n. 1, p. 47, doi. 10.1023/A:1004939914902
- By:
- Publication type:
- Article
Some Syntactic Approaches to the Handling of Inconsistent Knowledge Bases: A Comparative Study Part 1: The Flat Case.
- Published in:
- Studia Logica, 1997, v. 58, n. 1, p. 17, doi. 10.1023/A:1004987830832
- By:
- Publication type:
- Article
A Logic for Information Systems.
- Published in:
- Studia Logica, 1997, v. 58, n. 1, p. 3, doi. 10.1023/A:1004927613994
- By:
- Publication type:
- Article