Works matching IS 00393215 AND DT 2022 AND VI 110 AND IP 2
Results: 11
Book Reviews.
- Published in:
- 2022
- By:
- Publication type:
- Book Review
Correction to: Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter.
- Published in:
- 2022
- By:
- Publication type:
- Correction Notice
Frobenius Quantales, Serre Quantales and the Riemann–Roch Theorem.
- Published in:
- Studia Logica, 2022, v. 110, n. 2, p. 405, doi. 10.1007/s11225-021-09970-1
- By:
- Publication type:
- Article
Denotational Semantics for Languages of Epistemic Grounding Based on Prawitz's Theory of Grounds.
- Published in:
- Studia Logica, 2022, v. 110, n. 2, p. 355, doi. 10.1007/s11225-021-09969-8
- By:
- Publication type:
- Article
A Generalization of Monadic n-Valued Łukasiewicz Algebras.
- Published in:
- Studia Logica, 2022, v. 110, n. 2, p. 457, doi. 10.1007/s11225-021-09968-9
- By:
- Publication type:
- Article
Sequent-Calculi for Metainferential Logics.
- Published in:
- Studia Logica, 2022, v. 110, n. 2, p. 319, doi. 10.1007/s11225-021-09967-w
- By:
- Publication type:
- Article
From Semantic Games to Provability: The Case of Gödel Logic.
- Published in:
- Studia Logica, 2022, v. 110, n. 2, p. 429, doi. 10.1007/s11225-021-09966-x
- By:
- Publication type:
- Article
Extending the Lambek Calculus with Classical Negation.
- Published in:
- Studia Logica, 2022, v. 110, n. 2, p. 295, doi. 10.1007/s11225-021-09965-y
- By:
- Publication type:
- Article
The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives.
- Published in:
- Studia Logica, 2022, v. 110, n. 2, p. 545, doi. 10.1007/s11225-021-09964-z
- By:
- Publication type:
- Article
An Abductive Question-Answer System for the Minimal Logic of Formal Inconsistency mbC.
- Published in:
- Studia Logica, 2022, v. 110, n. 2, p. 479, doi. 10.1007/s11225-021-09963-0
- By:
- Publication type:
- Article
A Characterization of Probability-based Dichotomous Belief Revision.
- Published in:
- Studia Logica, 2022, v. 110, n. 2, p. 511, doi. 10.1007/s11225-021-09961-2
- By:
- Publication type:
- Article