Gentzenization of Trilattice Logics.
- Published in:
- Studia Logica, 2016, v. 104, n. 5, p. 917, doi. 10.1007/s11225-016-9658-z
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 2016 AND VI 104 AND IP 5
Results: 8
1
2
Intuitionistic Games: Determinacy, Completeness, and Normalization.
- Published in:
- Studia Logica, 2016, v. 104, n. 5, p. 957, doi. 10.1007/s11225-016-9661-4
- By:
- Publication type:
- Article
3
Adaptive Logic Characterizations of Input/Output Logic.
- Published in:
- Studia Logica, 2016, v. 104, n. 5, p. 869, doi. 10.1007/s11225-016-9656-1
- By:
- Publication type:
- Article
4
A Preliminary Study of MV-Algebras with Two Quantifiers Which Commute.
- Published in:
- Studia Logica, 2016, v. 104, n. 5, p. 931, doi. 10.1007/s11225-016-9663-2
- By:
- Publication type:
- Article
5
Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics.
- Published in:
- Studia Logica, 2016, v. 104, n. 5, p. 1003, doi. 10.1007/s11225-016-9662-3
- By:
- Publication type:
- Article
6
Bi-Simulating in Bi-Intuitionistic Logic.
- Published in:
- Studia Logica, 2016, v. 104, n. 5, p. 1037, doi. 10.1007/s11225-016-9664-1
- By:
- Publication type:
- Article
7
The Lambek Calculus Extended with Intuitionistic Propositional Logic.
- Published in:
- Studia Logica, 2016, v. 104, n. 5, p. 1051, doi. 10.1007/s11225-016-9665-0
- By:
- Publication type:
- Article
8
Semisimples in Varieties of Commutative Integral Bounded Residuated Lattices.
- Published in:
- Studia Logica, 2016, v. 104, n. 5, p. 849, doi. 10.1007/s11225-016-9655-2
- By:
- Publication type:
- Article