Works matching IS 00393215 AND DT 2024 AND VI 112 AND IP 5
Results: 7
An ω-Rule for the Logic of Provability and Its Models.
- Published in:
- Studia Logica, 2024, v. 112, n. 5, p. 1163, doi. 10.1007/s11225-023-10090-1
- By:
- Publication type:
- Article
Nelson Conuclei and Nuclei: The Twist Construction Beyond Involutivity.
- Published in:
- Studia Logica, 2024, v. 112, n. 5, p. 1123, doi. 10.1007/s11225-023-10088-9
- By:
- Publication type:
- Article
Independence Results for Finite Set Theories in Well-Founded Locally Finite Graphs.
- Published in:
- Studia Logica, 2024, v. 112, n. 5, p. 1181, doi. 10.1007/s11225-023-10087-w
- By:
- Publication type:
- Article
Quineanism, Noneism and Metaphysical Equivalence.
- Published in:
- Studia Logica, 2024, v. 112, n. 5, p. 1019, doi. 10.1007/s11225-023-10085-y
- By:
- Publication type:
- Article
The Logic ILP for Intuitionistic Reasoning About Probability.
- Published in:
- Studia Logica, 2024, v. 112, n. 5, p. 987, doi. 10.1007/s11225-023-10084-z
- By:
- Publication type:
- Article
On Pretabular Extensions of Relevance Logic.
- Published in:
- Studia Logica, 2024, v. 112, n. 5, p. 967, doi. 10.1007/s11225-023-10081-2
- By:
- Publication type:
- Article
Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation.
- Published in:
- Studia Logica, 2024, v. 112, n. 5, p. 1091, doi. 10.1007/s11225-023-10067-0
- By:
- Publication type:
- Article