Results: 9
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
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
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
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
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
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
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
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
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