An observer-based approach to the sorites paradox and the logic derived from that.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 3, p. 1, doi. 10.1093/jigpal/jzaf028
- By:
- Publication type:
- Article
Works matching IS 13670751 AND DT 2025 AND VI 33 AND IP 3
Results: 16
1
2
Simple sequent systems for the modal logics K,D,T, and S4 Open Access.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 3, p. 1, doi. 10.1093/jigpal/jzaf013
- By:
- Publication type:
- Article
3
The limitless first incompleteness theorem.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 3, p. 1, doi. 10.1093/jigpal/jzaf012
- By:
- Publication type:
- Article
4
Computable operators on left–c.e. reals and their continuity properties.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 3, p. 1, doi. 10.1093/jigpal/jzaf011
- By:
- Publication type:
- Article
5
Decidability of quantum modal logic.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 3, p. 1, doi. 10.1093/jigpal/jzaf010
- By:
- Publication type:
- Article
6
Ivanova contact join-semilattices are not finitely axiomatizable.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 3, p. 1, doi. 10.1093/jigpal/jzaf008
- By:
- Publication type:
- Article
7
Structurally complete finitary extensions of positive Łukasiewicz logic.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 3, p. 1, doi. 10.1093/jigpal/jzae118
- By:
- Publication type:
- Article
8
Boundedly finite-to-one functions.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 3, p. 1, doi. 10.1093/jigpal/jzae130
- By:
- Publication type:
- Article
9
On Nilpotent Minimum logics defined by lattice filters and their paraconsistent non-falsity preserving companions Open Access.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 3, p. 1, doi. 10.1093/jigpal/jzae126
- By:
- Publication type:
- Article
10
Quantum modal logic.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 3, p. 1, doi. 10.1093/jigpal/jzae123
- By:
- Publication type:
- Article
11
On structural proof theory of the modal logic K<sup>+</sup> extended with infinitary derivations.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 3, p. 1, doi. 10.1093/jigpal/jzae121
- By:
- Publication type:
- Article
12
Gentzen-type sequent calculus for modal logic S5 Open Access.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 3, p. 1, doi. 10.1093/jigpal/jzaf007
- By:
- Publication type:
- Article
13
Sharpening complexity results in quantified probability logic.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 3, p. 1, doi. 10.1093/jigpal/jzae114
- By:
- Publication type:
- Article
14
A logical framework for data-driven reasoning.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 3, p. 1, doi. 10.1093/jigpal/jzae113
- By:
- Publication type:
- Article
15
The higher dimensional propositional calculus.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 3, p. 1, doi. 10.1093/jigpal/jzae100
- By:
- Publication type:
- Article
16
Modality across different logics.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 3, p. 1, doi. 10.1093/jigpal/jzae082
- By:
- Publication type:
- Article