Tense Operators on Distributive Lattices with Implication.
- Published in:
- Studia Logica, 2023, v. 111, n. 4, p. 687, doi. 10.1007/s11225-023-10047-4
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 2023 AND VI 111 AND IP 4
Results: 6
1
2
Petr Cintula, Carles Noguera, Logic and Implication. An Introduction to the General Algebraic Study of Non-classical Logics, vol. 57 of Trends in Logic, Springer, 2021, pp. 465+xxii; ISBN: 978-3-030-85674-8 (Hardcover) 117.69€, ISBN: 978-3-030- 85675-5 (eBook) 93.08 €
- Published in:
- Studia Logica, 2023, v. 111, n. 4, p. 709, doi. 10.1007/s11225-023-10050-9
- By:
- Publication type:
- Article
3
Williamson's Abductive Case for the Material Conditional Account.
- Published in:
- Studia Logica, 2023, v. 111, n. 4, p. 653, doi. 10.1007/s11225-023-10038-5
- By:
- Publication type:
- Article
4
A First-Order Expansion of Artemov and Protopopescu's Intuitionistic Epistemic Logic.
- Published in:
- Studia Logica, 2023, v. 111, n. 4, p. 615, doi. 10.1007/s11225-023-10037-6
- By:
- Publication type:
- Article
5
On Boolean Algebraic Structure of Proofs: Towards an Algebraic Semantics for the Logic of Proofs.
- Published in:
- Studia Logica, 2023, v. 111, n. 4, p. 573, doi. 10.1007/s11225-022-10033-2
- By:
- Publication type:
- Article
6
Semantical Analysis of the Logic of Bunched Implications.
- Published in:
- Studia Logica, 2023, v. 111, n. 4, p. 525, doi. 10.1007/s11225-022-10028-z
- By:
- Publication type:
- Article