Works matching IS 00393215 AND DT 2021 AND VI 109 AND IP 3
Results: 9
Correction to: Lambek Calculus with Conjugates.
- Published in:
- 2021
- By:
- Publication type:
- Correction Notice
Positive Announcements.
- Published in:
- Studia Logica, 2021, v. 109, n. 3, p. 639, doi. 10.1007/s11225-020-09922-1
- By:
- Publication type:
- Article
A Cut-Elimination Proof in Positive Relevant Logic with Necessity.
- Published in:
- Studia Logica, 2021, v. 109, n. 3, p. 607, doi. 10.1007/s11225-020-09920-3
- By:
- Publication type:
- Article
Book Reviews: Andrzej Pietruszczak, Foundations of the Theory of Parthood: A Study of Mereology, Springer International Publishing, Series: Trends in Logic, Vol. 54, 2020, pp. 308. ISBN 978-3-030-36532-5 (Hardcover) €83,19, ISBN 978-3-030-36533-2 (eBook) €67,40
- Published in:
- 2021
- By:
- Publication type:
- Book Review
Measuring Inconsistency in Some Logics with Modal Operators.
- Published in:
- Studia Logica, 2021, v. 109, n. 3, p. 581, doi. 10.1007/s11225-020-09917-y
- By:
- Publication type:
- Article
The Poset of All Logics III: Finitely Presentable Logics.
- Published in:
- Studia Logica, 2021, v. 109, n. 3, p. 539, doi. 10.1007/s11225-020-09916-z
- By:
- Publication type:
- Article
Non-classical Models of ZF.
- Published in:
- Studia Logica, 2021, v. 109, n. 3, p. 509, doi. 10.1007/s11225-020-09915-0
- By:
- Publication type:
- Article
Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT.
- Published in:
- Studia Logica, 2021, v. 109, n. 3, p. 473, doi. 10.1007/s11225-020-09914-1
- By:
- Publication type:
- Article
Lambek Calculus with Conjugates.
- Published in:
- Studia Logica, 2021, v. 109, n. 3, p. 447, doi. 10.1007/s11225-020-09913-2
- By:
- Publication type:
- Article