Completeness in Equational Hybrid Propositional Type Theory.
- Published in:
- Studia Logica, 2019, v. 107, n. 6, p. 1159, doi. 10.1007/s11225-018-9833-5
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 2019 AND VI 107 AND IP 6
Results: 9
1
2
The Balanced Pseudocomplemented Ockham Algebras with the Strong Endomorphism Kernel Property.
- Published in:
- Studia Logica, 2019, v. 107, n. 6, p. 1261, doi. 10.1007/s11225-018-9838-0
- By:
- Publication type:
- Article
3
Valuations: Bi, Tri, and Tetra.
- Published in:
- Studia Logica, 2019, v. 107, n. 6, p. 1313, doi. 10.1007/s11225-018-9837-1
- By:
- Publication type:
- Article
4
Varieties of BL-Algebras III: Splitting Algebras.
- Published in:
- Studia Logica, 2019, v. 107, n. 6, p. 1235, doi. 10.1007/s11225-018-9836-2
- By:
- Publication type:
- Article
5
A Cut-Free Sequent Calculus for Defeasible Erotetic Inferences.
- Published in:
- Studia Logica, 2019, v. 107, n. 6, p. 1279, doi. 10.1007/s11225-018-9839-z
- By:
- Publication type:
- Article
6
Disjunction and Existence Properties in Inquisitive First-Order Logic.
- Published in:
- Studia Logica, 2019, v. 107, n. 6, p. 1199, doi. 10.1007/s11225-018-9835-3
- By:
- Publication type:
- Article
7
Categorical Equivalence Between PMVf-Product Algebras and Semi-Low fu-Rings.
- Published in:
- Studia Logica, 2019, v. 107, n. 6, p. 1135, doi. 10.1007/s11225-018-9832-6
- By:
- Publication type:
- Article
8
Translations Between Gentzen–Prawitz and Jaśkowski–Fitch Natural Deduction Proofs.
- Published in:
- Studia Logica, 2019, v. 107, n. 6, p. 1103, doi. 10.1007/s11225-018-9828-2
- By:
- Publication type:
- Article
9
On Tarski's Axiomatization of Mereology.
- Published in:
- Studia Logica, 2019, v. 107, n. 6, p. 1089, doi. 10.1007/s11225-018-9819-3
- By:
- Publication type:
- Article