From Interior Algebras to Unital ℓ-Groups: A Unifying Treatment of Modal Residuated Lattices.
- Published in:
- Studia Logica, 2015, v. 103, n. 2, p. 265, doi. 10.1007/s11225-014-9558-z
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 2015 AND VI 103 AND IP 2
Results: 9
1
2
On Some Semi-Intuitionistic Logics.
- Published in:
- Studia Logica, 2015, v. 103, n. 2, p. 303, doi. 10.1007/s11225-014-9568-x
- By:
- Publication type:
- Article
3
A Proof of Tarski's Fixed Point Theorem by Application of Galois Connections.
- Published in:
- Studia Logica, 2015, v. 103, n. 2, p. 287, doi. 10.1007/s11225-014-9559-y
- By:
- Publication type:
- Article
4
Strong Reduction of Combinatory Calculus with Streams.
- Published in:
- Studia Logica, 2015, v. 103, n. 2, p. 375, doi. 10.1007/s11225-014-9570-3
- By:
- Publication type:
- Article
5
A Categorical Equivalence for Product Algebras.
- Published in:
- Studia Logica, 2015, v. 103, n. 2, p. 345, doi. 10.1007/s11225-014-9569-9
- By:
- Publication type:
- Article
6
An Alternative Normalization of the Implicative Fragment of Classical Logic.
- Published in:
- Studia Logica, 2015, v. 103, n. 2, p. 413, doi. 10.1007/s11225-014-9573-0
- By:
- Publication type:
- Article
7
Book Review: R. J. G. B. de Queiroz, A. G. de Oliveira, D. M. Gabbay, The Functional Interpretation of Logical Deduction.
- Published in:
- 2015
- By:
- Publication type:
- Book Review
8
Jerzy Kalinowski's Logic of Normative Sentences Revisited.
- Published in:
- Studia Logica, 2015, v. 103, n. 2, p. 389, doi. 10.1007/s11225-014-9572-1
- By:
- Publication type:
- Article
9
In the Mood for S4: The Expressive Power of the Subjunctive Modal Language in Weak Background Logics.
- Published in:
- Studia Logica, 2015, v. 103, n. 2, p. 239, doi. 10.1007/s11225-014-9557-0
- By:
- Publication type:
- Article