Works matching IS 00393215 AND DT 2021 AND VI 109 AND IP 1
Results: 6
A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents.
- Published in:
- Studia Logica, 2021, v. 109, n. 1, p. 167, doi. 10.1007/s11225-020-09906-1
- By:
- Publication type:
- Article
Non-distributive Relatives of ETL and NFL.
- Published in:
- Studia Logica, 2021, v. 109, n. 1, p. 137, doi. 10.1007/s11225-020-09904-3
- By:
- Publication type:
- Article
A Conservative Negation Extension of Positive Semilattice Logic Without the Finite Model Property.
- Published in:
- Studia Logica, 2021, v. 109, n. 1, p. 125, doi. 10.1007/s11225-020-09903-4
- By:
- Publication type:
- Article
Recapturing Dynamic Logic of Relation Changers via Bounded Morphisms.
- Published in:
- Studia Logica, 2021, v. 109, n. 1, p. 95, doi. 10.1007/s11225-020-09902-5
- By:
- Publication type:
- Article
Pooling Modalities and Pointwise Intersection: Axiomatization and Decidability.
- Published in:
- Studia Logica, 2021, v. 109, n. 1, p. 47, doi. 10.1007/s11225-020-09901-6
- By:
- Publication type:
- Article
Semi De Morgan Logic Properly Displayed.
- Published in:
- Studia Logica, 2021, v. 109, n. 1, p. 1, doi. 10.1007/s11225-020-09898-y
- By:
- Publication type:
- Article