On Woodruff's Constructive Nonsense Logic.
- Published in:
- Studia Logica, 2024, v. 112, n. 6, p. 1261, doi. 10.1007/s11225-023-10092-z
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 2024 AND VI 112 AND IP 6
Results: 10
1
2
Non-Reflexive Nonsense: Proof Theory of Paracomplete Weak Kleene Logic.
- Published in:
- Studia Logica, 2024, v. 112, n. 6, p. 1243, doi. 10.1007/s11225-023-10086-x
- By:
- Publication type:
- Article
3
Finite Hilbert Systems for Weak Kleene Logics.
- Published in:
- Studia Logica, 2024, v. 112, n. 6, p. 1215, doi. 10.1007/s11225-023-10079-w
- By:
- Publication type:
- Article
4
Distributive PBZ∗-lattices.
- Published in:
- Studia Logica, 2024, v. 112, n. 6, p. 1319, doi. 10.1007/s11225-024-10136-y
- By:
- Publication type:
- Article
5
Editorial Introduction.
- Published in:
- Studia Logica, 2024, v. 112, n. 6, p. 1201, doi. 10.1007/s11225-024-10147-9
- By:
- Publication type:
- Article
6
A New Game Theoretic Semantics (GTS-2) for Weak Kleene Logics.
- Published in:
- Studia Logica, 2024, v. 112, n. 6, p. 1439, doi. 10.1007/s11225-024-10113-5
- By:
- Publication type:
- Article
7
De Morgan-Płonka Sums.
- Published in:
- Studia Logica, 2024, v. 112, n. 6, p. 1343, doi. 10.1007/s11225-024-10111-7
- By:
- Publication type:
- Article
8
Categoricity Problem for LP and K3.
- Published in:
- Studia Logica, 2024, v. 112, n. 6, p. 1373, doi. 10.1007/s11225-024-10098-1
- By:
- Publication type:
- Article
9
Propositional Type Theory of Indeterminacy.
- Published in:
- Studia Logica, 2024, v. 112, n. 6, p. 1409, doi. 10.1007/s11225-024-10099-0
- By:
- Publication type:
- Article
10
Representability of Kleene Posets and Kleene Lattices.
- Published in:
- Studia Logica, 2024, v. 112, n. 6, p. 1281, doi. 10.1007/s11225-023-10080-3
- By:
- Publication type:
- Article