Ockham Algebras with Balanced Double Pseudocomplementation.
- Published in:
- Studia Logica, 2008, v. 90, n. 2, p. 189, doi. 10.1007/s11225-008-9149-y
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 2008 AND VI 90 AND IP 2
Results: 7
1
2
Frame Based Formulas for Intermediate Logics.
- Published in:
- Studia Logica, 2008, v. 90, n. 2, p. 139, doi. 10.1007/s11225-008-9147-0
- By:
- Publication type:
- Article
3
Ontological Proofs of Existence and Non-Existence.
- Published in:
- Studia Logica, 2008, v. 90, n. 2, p. 257, doi. 10.1007/s11225-008-9151-4
- By:
- Publication type:
- Article
4
Hyperformulas and Solid Algebraic Systems.
- Published in:
- Studia Logica, 2008, v. 90, n. 2, p. 263, doi. 10.1007/s11225-008-9152-3
- By:
- Publication type:
- Article
5
Sharvyâs Lucy and Benjamin Puzzle.
- Published in:
- Studia Logica, 2008, v. 90, n. 2, p. 249, doi. 10.1007/s11225-008-9153-2
- Publication type:
- Article
6
On Reduction Rules, Meaning-as-use, and Proof-theoretic Semantics.
- Published in:
- Studia Logica, 2008, v. 90, n. 2, p. 211, doi. 10.1007/s11225-008-9150-5
- By:
- Publication type:
- Article
7
Game Semantics for the Lambek-Calculus: Capturing Directionality and the Absence of Structural Rules.
- Published in:
- Studia Logica, 2008, v. 90, n. 2, p. 161, doi. 10.1007/s11225-008-9148-z
- By:
- Publication type:
- Article