The Quantified Argument Calculus with Two- and Three-valued Truth-valuational Semantics.
- Published in:
- Studia Logica, 2023, v. 111, n. 2, p. 281, doi. 10.1007/s11225-022-10022-5
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 2023 AND VI 111 AND IP 2
Results: 9
1
2
Finite Model Property in Weakly Transitive Tense Logics.
- Published in:
- Studia Logica, 2023, v. 111, n. 2, p. 217, doi. 10.1007/s11225-022-10027-0
- By:
- Publication type:
- Article
3
Kapsner Complementation: An Algebraic Take on Kapsner Strong Logics.
- Published in:
- Studia Logica, 2023, v. 111, n. 2, p. 321, doi. 10.1007/s11225-022-10025-2
- By:
- Publication type:
- Article
4
The Categorical Equivalence Between Domains and Interpolative Generalized Closure Spaces.
- Published in:
- Studia Logica, 2023, v. 111, n. 2, p. 187, doi. 10.1007/s11225-022-10024-3
- By:
- Publication type:
- Article
5
Infinitary Action Logic with Multiplexing.
- Published in:
- Studia Logica, 2023, v. 111, n. 2, p. 251, doi. 10.1007/s11225-022-10021-6
- By:
- Publication type:
- Article
6
RETRACTED ARTICLE: The Twin Primes Conjecture is True in the Standard Model of Peano Arithmetic: Applications of Rasiowa–Sikorski Lemma in Arithmetic (I).
- Published in:
- Studia Logica, 2023, v. 111, n. 2, p. 357, doi. 10.1007/s11225-022-10017-2
- By:
- Publication type:
- Article
7
RETRACTED ARTICLE: There are Infinitely Many Mersenne Prime Numbers. Applications of Rasiowa–Sikorski Lemma in Arithmetic (II).
- Published in:
- Studia Logica, 2023, v. 111, n. 2, p. 359, doi. 10.1007/s11225-022-10015-4
- By:
- Publication type:
- Article
8
Hereditarily Structurally Complete Intermediate Logics: Citkin's Theorem Via Duality.
- Published in:
- Studia Logica, 2023, v. 111, n. 2, p. 147, doi. 10.1007/s11225-022-10012-7
- By:
- Publication type:
- Article