Reductio ad contradictionem: An Algebraic Perspective.
- Published in:
- Studia Logica, 2016, v. 104, n. 3, p. 389, doi. 10.1007/s11225-015-9645-9
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 2016 AND VI 104 AND IP 3
Results: 8
1
2
Order in Implication Zroupoids.
- Published in:
- Studia Logica, 2016, v. 104, n. 3, p. 417, doi. 10.1007/s11225-015-9646-8
- By:
- Publication type:
- Article
3
The Decision Problem of Modal Product Logics with a Diagonal, and Faulty Counter Machines.
- Published in:
- Studia Logica, 2016, v. 104, n. 3, p. 455, doi. 10.1007/s11225-015-9647-7
- By:
- Publication type:
- Article
4
On the Deductive System of the Order of an Equationally Orderable Quasivariety.
- Published in:
- Studia Logica, 2016, v. 104, n. 3, p. 547, doi. 10.1007/s11225-016-9650-7
- By:
- Publication type:
- Article
5
Structural Completeness in Relevance Logics.
- Published in:
- Studia Logica, 2016, v. 104, n. 3, p. 381, doi. 10.1007/s11225-015-9644-x
- By:
- Publication type:
- Article
6
Matching Topological and Frame Products of Modal Logics.
- Published in:
- Studia Logica, 2016, v. 104, n. 3, p. 487, doi. 10.1007/s11225-015-9648-6
- By:
- Publication type:
- Article
7
On All Strong Kleene Generalizations of Classical Logic.
- Published in:
- Studia Logica, 2016, v. 104, n. 3, p. 503, doi. 10.1007/s11225-015-9649-5
- By:
- Publication type:
- Article
8
Natural Dualities Through Product Representations: Bilattices and Beyond.
- Published in:
- Studia Logica, 2016, v. 104, n. 3, p. 567, doi. 10.1007/s11225-016-9651-6
- By:
- Publication type:
- Article