Works matching IS 00393215 AND DT 2021 AND VI 109 AND IP 2
Results: 8
The Entropy-Limit (Conjecture) for Σ2-Premisses.
- Published in:
- Studia Logica, 2021, v. 109, n. 2, p. 423, doi. 10.1007/s11225-020-09912-3
- By:
- Publication type:
- Article
Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics.
- Published in:
- Studia Logica, 2021, v. 109, n. 2, p. 397, doi. 10.1007/s11225-020-09911-4
- By:
- Publication type:
- Article
Axiomatization of Crisp Gödel Modal Logic.
- Published in:
- Studia Logica, 2021, v. 109, n. 2, p. 367, doi. 10.1007/s11225-020-09910-5
- By:
- Publication type:
- Article
Double Negation Semantics for Generalisations of Heyting Algebras.
- Published in:
- Studia Logica, 2021, v. 109, n. 2, p. 341, doi. 10.1007/s11225-020-09909-y
- By:
- Publication type:
- Article
Kripke Semantics for Intuitionistic Łukasiewicz Logic.
- Published in:
- Studia Logica, 2021, v. 109, n. 2, p. 313, doi. 10.1007/s11225-020-09908-z
- By:
- Publication type:
- Article
An Algebraic Study of Tense Operators on Nelson Algebras.
- Published in:
- Studia Logica, 2021, v. 109, n. 2, p. 285, doi. 10.1007/s11225-020-09907-0
- By:
- Publication type:
- Article
New Foundations for Branching Space-Times.
- Published in:
- Studia Logica, 2021, v. 109, n. 2, p. 239, doi. 10.1007/s11225-020-09905-2
- By:
- Publication type:
- Article
Joanna Golińska-Pilarek and Michał Zawidzki, (eds.), Ewa Orłowska on Relational Methods in Logic and Computer Science. Springer International Publishing, Series: Outstanding Contributions to Logic, Vol. 17, 2018, pp. 502: ISBN 978-3-319-97878-9 (Hardcover) EURO 135,19, ISBN 978-3-319-97879-6 (eBook) EURO 106,99
- Published in:
- 2021
- By:
- Publication type:
- Book Review