Relational Representation Theorems for Extended Contact Algebras.
- Published in:
- Studia Logica, 2021, v. 109, n. 4, p. 701, doi. 10.1007/s11225-020-09923-0
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 2021 AND VI 109 AND IP 4
Results: 8
1
2
Correction to: The Hahn Embedding Theorem for a Class of Residuated Semigroups.
- Published in:
- 2021
- By:
- Publication type:
- Correction Notice
3
Positive Monotone Modal Logic.
- Published in:
- Studia Logica, 2021, v. 109, n. 4, p. 829, doi. 10.1007/s11225-020-09928-9
- By:
- Publication type:
- Article
4
Belnap–Dunn Modal Logic with Value Operators.
- Published in:
- Studia Logica, 2021, v. 109, n. 4, p. 759, doi. 10.1007/s11225-020-09925-y
- By:
- Publication type:
- Article
5
A Simple Logical Matrix and Sequent Calculus for Parry's Logic of Analytic Implication.
- Published in:
- Studia Logica, 2021, v. 109, n. 4, p. 791, doi. 10.1007/s11225-020-09926-x
- By:
- Publication type:
- Article
6
Labelled Sequent Calculi for Lewis' Non-normal Propositional Modal Logics.
- Published in:
- Studia Logica, 2021, v. 109, n. 4, p. 725, doi. 10.1007/s11225-020-09924-z
- By:
- Publication type:
- Article
7
Free Logics are Cut-Free.
- Published in:
- Studia Logica, 2021, v. 109, n. 4, p. 859, doi. 10.1007/s11225-020-09929-8
- By:
- Publication type:
- Article
8
A Characteristic Frame for Positive Intuitionistic and Relevance Logic.
- Published in:
- Studia Logica, 2021, v. 109, n. 4, p. 687, doi. 10.1007/s11225-020-09921-2
- By:
- Publication type:
- Article