The d-elements of precoherent preidempotent quantales and their applications.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 2, p. 1, doi. 10.1093/jigpal/jzae063
- By:
- Publication type:
- Article
Works matching IS 13670751 AND DT 2025 AND VI 33 AND IP 2
Results: 16
1
2
Non-empty open intervals of computably enumerable sQ<sub>1</sub>-degrees.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 2, p. 1, doi. 10.1093/jigpal/jzae005
- By:
- Publication type:
- Article
3
Axiomatization of modal logic with counting.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 2, p. 1, doi. 10.1093/jigpal/jzae079
- By:
- Publication type:
- Article
4
A correspondence theorem for interpretability logic with respect to Verbrugge semantics.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 2, p. 1, doi. 10.1093/jigpal/jzae081
- By:
- Publication type:
- Article
5
Computer-Aided Searching for a Tabular Many-Valued Discussive Logic—Matrices.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 2, p. 1, doi. 10.1093/jigpal/jzae080
- By:
- Publication type:
- Article
6
Base-extension semantics for modal logic.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 2, p. 1, doi. 10.1093/jigpal/jzae004
- By:
- Publication type:
- Article
7
Hyperarithmetical complexity of infinitary action logic with multiplexing.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 2, p. 1, doi. 10.1093/jigpal/jzae078
- By:
- Publication type:
- Article
8
Functional completeness and primitive positive decomposition of relations on finite domains.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 2, p. 1, doi. 10.1093/jigpal/jzae077
- By:
- Publication type:
- Article
9
Generalizing orthomodularity to unsharp contexts: properties, blocks, residuation.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 2, p. 1, doi. 10.1093/jigpal/jzae076
- By:
- Publication type:
- Article
10
The finite sequences and the partitions whose members are finite of a set.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 2, p. 1, doi. 10.1093/jigpal/jzae002
- By:
- Publication type:
- Article
11
Płonka adjunction.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 2, p. 1, doi. 10.1093/jigpal/jzae064
- By:
- Publication type:
- Article
12
Symmetric and conflated intuitionistic logics.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 2, p. 1, doi. 10.1093/jigpal/jzae001
- By:
- Publication type:
- Article
13
Model checking distributed temporal logic.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 2, p. 1, doi. 10.1093/jigpal/jzae043
- By:
- Publication type:
- Article
14
An 'elementary' perspective on reasoning about probability spaces.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 2, p. 1, doi. 10.1093/jigpal/jzae042
- By:
- Publication type:
- Article
15
A characterization of crossed self-similarity on crossed modules in L-algebras.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 2, p. 1, doi. 10.1093/jigpal/jzae003
- By:
- Publication type:
- Article
16
On elementary equivalence of real semigroups of preordered rings.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 2, p. 1, doi. 10.1093/jigpal/jzad028
- By:
- Publication type:
- Article