Works matching IS 00393215 AND DT 2023 AND VI 111 AND IP 2
Results: 9
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
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
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
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
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
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
Nils Kürbis, Proof and Falsity: A Logical Investigation, Cambridge University Press, 2019, pp. 316; ISBN: 978-110-87-1672-7 (Softcover)£24.99, ISBN: 978-110-84-8130-4 (Hardcover)£78.99, ISBN: 978-110-86-2517-3 (eBook) $26.00.
- Published in:
- 2023
- By:
- Publication type:
- Book Review
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
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