Works matching IS 00393215 AND DT 2025 AND VI 113 AND IP 1
Results: 9
Parameterfree Comprehension Does Not Imply Full Comprehension in Second Order Peano Arithmetic: Parameterfree Comprehension Does Not Imply Full...: V. Kanovei, V. Lyubetsky.
- Published in:
- Studia Logica, 2025, v. 113, n. 1, p. 109, doi. 10.1007/s11225-024-10108-2
- By:
- Publication type:
- Article
A Model Theory of Topology: A Model Theory of Topology: P. Lipparini.
- Published in:
- Studia Logica, 2025, v. 113, n. 1, p. 225, doi. 10.1007/s11225-024-10107-3
- By:
- Publication type:
- Article
On a Four-Valued Logic of Formal Inconsistency and Formal Undeterminedness.
- Published in:
- Studia Logica, 2025, v. 113, n. 1, p. 183, doi. 10.1007/s11225-024-10106-4
- By:
- Publication type:
- Article
Algebraic Structures Formalizing the Logic of Quantum Mechanics Incorporating Time Dimension.
- Published in:
- Studia Logica, 2025, v. 113, n. 1, p. 163, doi. 10.1007/s11225-024-10103-7
- By:
- Publication type:
- Article
Categorical Proof-theoretic Semantics.
- Published in:
- Studia Logica, 2025, v. 113, n. 1, p. 125, doi. 10.1007/s11225-024-10101-9
- By:
- Publication type:
- Article
Stefania Centrone, Deborah Kant, Deniz Serikaya, Reflections on the Foundations of Mathematics. Univalent Foundations, Set Theory and General Thoughts, vol. 407 of Synthese Library, Springer, 2019, pp. 494+xxviii; ISBN: 978-3-030-15654-1 (Hardcover) 149.79€, ISBN: 978-3-030-15655-8 (eBook)
- Published in:
- 2025
- By:
- Publication type:
- Book Review
Kripke-Completeness and Sequent Calculus for Quasi-Boolean Modal Logic: Kripke-Completeness and Sequent Calculus...: M. Ma, J. Guo.
- Published in:
- Studia Logica, 2025, v. 113, n. 1, p. 49, doi. 10.1007/s11225-024-10095-4
- By:
- Publication type:
- Article
On Geometric Implications.
- Published in:
- Studia Logica, 2025, v. 113, n. 1, p. 79, doi. 10.1007/s11225-023-10094-x
- By:
- Publication type:
- Article
Variations on the Kripke Trick.
- Published in:
- Studia Logica, 2025, v. 113, n. 1, p. 1, doi. 10.1007/s11225-023-10093-y
- By:
- Publication type:
- Article